{      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyzautomatic delaying (Detach the derivation as another figure  Regular link         %{|}~ !"#$%&(*-/Used when the rest of the derivation is known. .More compact variant /2A !"#$%&'()*+,-./01234/01234+.-,'*) !"#$%&( !"#$%&!"#$%&(*-./2 F56789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyzX56789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyzFbc`a]_^\[ZVYXWMUTSRQPONdHIJKL>GFEDCBA@?=efghi5<;:9876jklmnopqrstuvwxyzF5<;:98766789:;<=> GFEDCBA@??@ABCDEFGHIJKLIJKLMUTSRQPONNOPQRSTUVYXWWXYZ[\]_^^_`aabccdefghijklmnopqrstuvwxyz        !!"#$%&'()*+,-./0123456789:;<=>?@ABCDEFFGHIJKLMNOPQRSTUVWXYZ[Z\]^_`abcdefghijklmnopqrstuvwxyz{|}~derivation-trees-0.7.2DerivationTrees.BasicsDerivationTreesDerivationTrees.CPTSDerivationTrees.ManualPTSTeX AlignmentRightACenterALeftALinkDelayedDetachedidentlabelstylealignsteps LineStyle TeXDottedWavedDashedDottedDoubleSimpleNone defaultLink<>voidFigurecontents DerivationPremiseRuletag delimiter conclusiondelayPrecompileruledummyemptyDrvabortDrvhaltDrv'haltDrvbraceparenbracktextext!CtxSubsLhsApplRhsApplLhs BinderRhsColonRhsTopLvlArrowLhsEnvDrvLnAnCoPrApAbWkStAxJugvaluetypenvTermManySorConVarSubAppPiLamBindingMultBase:-ColourSortNameVUnboundTeXabletexify Unifyable===dSunboundinterpVinterpBinterpB'colhavePrninterpT+:interpErenaminterpAinterpJcheckbToTrebindjug'stpinterpdelayhaltnamedabort StringizeTagDetach Derivation'detachPdetachDdetachF detachTop isDelayeddelayDdelayFtagify tagifyFig tagifyTopfromTeXmkTuple stringize stringizeFigbase Data.MonoidmconcatmappendmemptyMonoidgetDualDualappEndoEndogetAllAllgetAnyAnygetSumSum getProductProductgetFirstFirstgetLastLastlabeled-tree-1.0.0.0Data.LabeledTree subForest rootLabelNodeTree::>Forestassert-:lampisubs$$tsomany-->~~>var|=>wkboundparnpushsubsOfrtextrmdLdCdRdetach