Strike of vertical foliation

. literalinclude:: geo-foliation_vert.def