-
Notifications
You must be signed in to change notification settings - Fork 1
/
tmp
1 lines (1 loc) · 160 KB
/
tmp
1
[DocEnvironment (Environment {name = "Tex", begin = Nothing, end = Nothing, args = [], innerMath = False, innerVerb = Verb, insidePref = True}) [] [DocVerb False ["\\documentclass[12pt,a4paper,oneside]{article}","\\usepackage[left=2cm, right=2cm, top=1.3cm, bottom=2cm]{geometry}","\\usepackage[utf8]{inputenc}","\\usepackage[russian]{babel}","\\usepackage{amsthm}","\\usepackage{amsmath}","\\usepackage{amssymb}","","\\newtheorem{definition}{\1054\1087\1088\1077\1076\1077\1083\1077\1085\1080\1077}","\\newtheorem{theorem}{\1058\1077\1086\1088\1077\1084\1072}","\\newtheorem{proposition}{\1055\1088\1077\1076\1083\1086\1078\1077\1085\1080\1077}","\\newtheorem{lemma}{\1051\1077\1084\1084\1072}","\\newtheorem*{corollary}{\1057\1083\1077\1076\1089\1090\1074\1080\1077}"]],DocEmptyLine,DocEnvironment (Environment {name = "Document", begin = Just "\\begin{document}", end = Just "\\end{document}", args = [], innerMath = False, innerVerb = NoVerb, insidePref = True}) [] [DocParagraph [[ParText [("\1054\1073\1086\1079\1085\1072\1095\1077\1085\1080\1103",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 48, sourceColumn = Pos 3},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 48, sourceColumn = Pos 14})),("\1084\1086\1076\1072\1083\1100\1085\1086\1089\1090\1077\1081:",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 48, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 48, sourceColumn = Pos 28}))]]],DocPrefGroup (Pref {name = "-", begin = Just "\\begin{itemize}", end = Just "\\end{itemize}", pref = Just "\\item", sep = Nothing, innerMath = False, insidePref = True}) [[DocParagraph [[ParFormula [("<0>",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 8},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 11}))],ParText [("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 12})),("\1080",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 13},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 14})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 14},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 14}))],ParFormula [("<1>",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 16},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 19}))],ParText [("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 20},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 20})),("--",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 21},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 23})),("\1084\1086\1076\1072\1083\1100\1085\1086\1089\1090\1080",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 24},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 35})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 35},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 35}))],ParFormula [("GLB",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 37},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 40}))],ParText [(",",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 41},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 42})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 42},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 42}))],ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 44},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 49, sourceColumn = Pos 45}))]]]],[DocParagraph [[ParFormula [("<*>A",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 8},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 12})),(":=",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 13},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 15})),("<0>(<1>T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 16},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 24})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 25},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 27})),("A)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 28},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 30}))],ParText [("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 31},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 31})),("--",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 32},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 34})),("\1076\1086\1082\1072\1079\1091\1077\1084\1086\1089\1090\1100",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 35},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 47})),("\1074",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 48},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 49})),("\1087\1088\1077\1076\1087\1086\1083\1086\1078\1077\1085\1080\1080",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 50},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 63})),("1-\1085\1077\1087\1088\1086\1090\1080\1074\1086\1088\1077\1095\1080\1074\1086\1089\1090\1080",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 64},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 50, sourceColumn = Pos 84}))]]]],[DocParagraph [[ParFormula [("<>A",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 8},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 11})),(":=",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 13},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 15})),("<1>A",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 16},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 20})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 21},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 23})),("<*>A",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 24},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 28}))],ParText [("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 29},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 29})),("--",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 30},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 32})),("\1076\1086\1082\1072\1079\1091\1077\1084\1086\1089\1090\1100",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 45})),("\1072\1088\1080\1092\1084\1077\1090\1080\1082\1080",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 46},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 56})),("\1053\1080\1073\1077\1088\1075\1072\1083\1103",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 57},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 66})),("\1086\1090\1085\1086\1089\1080\1090\1077\1083\1100\1085\1086",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 67},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 79})),("PA",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 80},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 51, sourceColumn = Pos 82}))]]]]],DocEmptyLine,DocEnvironment (Environment {name = "Lemma", begin = Just "\\begin{lemma}", end = Just "\\end{lemma}", args = [], innerMath = False, innerVerb = NoVerb, insidePref = True}) [] [DocParagraph [[ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 6},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 7})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 8},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 10})),("K(<>),",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 11},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 17})),("GL(<*>),",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 18},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 26})),("GL(<*>^2),",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 27},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 37})),("GL(<0><1>\\cdot),",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 38},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 54})),("GL(<1>T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 55},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 62})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 63},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 65})),("<*>\\cdot)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 66},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 75}))],ParText [("\\\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 76},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 54, sourceColumn = Pos 78}))]],[ParText [("\1055\1086\1076",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 5},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 8})),("\1101\1090\1086\1081",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 13})),("\1079\1072\1087\1080\1089\1100\1102",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 14},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 21})),("\1084\1099",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 22},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 24})),("\1087\1086\1076\1088\1072\1079\1091\1084\1077\1074\1072\1077\1084,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 25},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 39})),("\1095\1090\1086",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 40},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 43})),("\1074",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 44},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 45})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 45},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 45}))],ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 47},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 48}))],ParText [("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 49},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 49})),("\1076\1086\1082\1072\1079\1099\1074\1072\1102\1090\1089\1103",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 50},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 62})),("\1072\1082\1089\1080\1086\1084\1099",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 63},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 70})),("\1089\1086\1086\1090\1074\1077\1090\1089\1090\1074\1091\1102\1097\1080\1093",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 71},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 86})),("\1090\1077\1086\1088\1080\1081",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 87},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 55, sourceColumn = Pos 93}))]],[ParText [("\1080",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 5},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 6})),("\1091\1089\1080\1083\1077\1085\1080\1077",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 7},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 15})),("\1087\1086",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 16},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 18})),("\1089\1086\1086\1090\1074\1077\1090\1089\1090\1074\1091\1102\1097\1077\1081",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 19},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 34})),("\1084\1086\1076\1072\1083\1100\1085\1086\1089\1090\1080",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 35},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 46})),("\1103\1074\1083\1103\1077\1090\1089\1103",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 47},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 55})),("\1076\1086\1087\1091\1089\1090\1080\1084\1099\1084",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 56},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 66})),("\1087\1088\1072\1074\1080\1083\1086\1084",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 67},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 75})),("\1074\1099\1074\1086\1076\1072",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 76},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 82})),("\1074",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 83},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 84})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 84},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 84}))],ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 86},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 87}))],ParText [(".",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 88},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 56, sourceColumn = Pos 89}))]]]],DocEnvironment (Environment {name = "Proof", begin = Just "\\begin{proof}", end = Just "\\end{proof}", args = [], innerMath = False, innerVerb = NoVerb, insidePref = True}) [] [DocParagraph [[ParText [("\1044\1086\1082\1072\1078\1077\1084",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 58, sourceColumn = Pos 5},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 58, sourceColumn = Pos 12})),("\1074\1099\1074\1086\1076\1080\1084\1086\1089\1090\1100",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 58, sourceColumn = Pos 13},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 58, sourceColumn = Pos 24})),("\1072\1082\1089\1080\1086\1084",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 58, sourceColumn = Pos 25},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 58, sourceColumn = Pos 31})),("\1051\1105\1073\1072.",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 58, sourceColumn = Pos 32},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 58, sourceColumn = Pos 37}))]]],DocPrefGroup (Pref {name = "-", begin = Just "\\begin{itemize}", end = Just "\\end{itemize}", pref = Just "\\item", sep = Nothing, innerMath = False, insidePref = True}) [[DocParagraph [[ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 59, sourceColumn = Pos 10},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 59, sourceColumn = Pos 11})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 59, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 59, sourceColumn = Pos 14})),("<*>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 59, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 59, sourceColumn = Pos 19})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 59, sourceColumn = Pos 20},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 59, sourceColumn = Pos 22})),("<*>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 59, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 59, sourceColumn = Pos 28})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 59, sourceColumn = Pos 29},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 59, sourceColumn = Pos 31})),("~<*>p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 59, sourceColumn = Pos 32},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 59, sourceColumn = Pos 38}))],ParText [("\\\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 59, sourceColumn = Pos 39},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 59, sourceColumn = Pos 41}))]],[ParText [("\1055\1088\1080\1084\1077\1085\1103\1103",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 60, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 60, sourceColumn = Pos 17})),("\1072\1082\1089\1080\1086\1084\1091",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 60, sourceColumn = Pos 18},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 60, sourceColumn = Pos 25})),("\1051\1105\1073\1072",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 60, sourceColumn = Pos 26},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 60, sourceColumn = Pos 30})),("\1076\1083\1103",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 60, sourceColumn = Pos 31},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 60, sourceColumn = Pos 34})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 60, sourceColumn = Pos 34},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 60, sourceColumn = Pos 34}))],ParFormula [("<0>",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 60, sourceColumn = Pos 36},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 60, sourceColumn = Pos 39}))],ParText [(":",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 60, sourceColumn = Pos 40},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 60, sourceColumn = Pos 41}))]]],DocPrefGroup (Pref {name = ">", begin = Just "\\begin{align*}", end = Just "\\end{align*}", pref = Nothing, sep = Just "\\\\", innerMath = True, insidePref = False}) [[DocParagraph [[ParText [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 13},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 14})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 17})),("<0>(<1>T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 18},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 26})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 27},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 29})),("p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 30},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 32})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 35})),("<0>(<1>T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 36},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 44})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 45},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 47})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 48},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 49})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 50},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 52})),("~<0>(<1>T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 53},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 62})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 63},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 65})),("p))",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 66},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 61, sourceColumn = Pos 69}))]]]]],DocParagraph [[ParText [("\1089",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 10})),("\1090\1086\1095\1085\1086\1089\1090\1100\1102",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 11},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 20})),("\1076\1086",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 21},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 23})),("\1086\1073\1086\1079\1085\1072\1095\1077\1085\1080\1103",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 24},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 35})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 35},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 35}))],ParFormula [("<*>\\cdot",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 37},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 45})),("=",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 46},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 47})),("<0>(<1>T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 48},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 56})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 57},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 59})),("\\cdot)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 60},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 66}))],ParText [("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 67},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 67})),("\1101\1090\1086",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 68},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 71})),("\1080",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 72},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 73})),("\1077\1089\1090\1100",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 74},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 78})),("\1090\1088\1077\1073\1091\1077\1084\1086\1077",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 79},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 62, sourceColumn = Pos 88}))]]]],[DocParagraph [[ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 10},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 11})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 14})),("<*>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 20})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 21},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 22})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 25})),("<*>^2(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 26},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 33})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 34},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 36})),("~<*>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 37},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 43})),("p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 44},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 46}))],ParText [("\\\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 47},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 63, sourceColumn = Pos 49}))]],[ParText [("\1048\1079",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 64, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 64, sourceColumn = Pos 11})),("\1087\1088\1077\1076\1099\1076\1091\1097\1077\1075\1086",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 64, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 64, sourceColumn = Pos 23})),("\1087\1091\1085\1082\1090\1072,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 64, sourceColumn = Pos 24},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 64, sourceColumn = Pos 31})),("\1087\1086\1083\1100\1079\1091\1103\1089\1100",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 64, sourceColumn = Pos 32},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 64, sourceColumn = Pos 41})),("\1085\1086\1088\1084\1072\1083\1100\1085\1086\1089\1090\1100\1102",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 64, sourceColumn = Pos 42},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 64, sourceColumn = Pos 55})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 64, sourceColumn = Pos 55},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 64, sourceColumn = Pos 55}))],ParFormula [("<*>",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 64, sourceColumn = Pos 57},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 64, sourceColumn = Pos 60}))],ParText [(":",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 64, sourceColumn = Pos 61},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 64, sourceColumn = Pos 62}))]]],DocPrefGroup (Pref {name = ">", begin = Just "\\begin{align*}", end = Just "\\end{align*}", pref = Nothing, sep = Just "\\\\", innerMath = True, insidePref = False}) [[DocParagraph [[ParText [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 65, sourceColumn = Pos 13},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 65, sourceColumn = Pos 14})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 65, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 65, sourceColumn = Pos 17})),("<*>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 65, sourceColumn = Pos 18},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 65, sourceColumn = Pos 23})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 65, sourceColumn = Pos 24},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 65, sourceColumn = Pos 25})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 65, sourceColumn = Pos 26},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 65, sourceColumn = Pos 28})),("<*>^2(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 65, sourceColumn = Pos 29},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 65, sourceColumn = Pos 36})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 65, sourceColumn = Pos 37},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 65, sourceColumn = Pos 39})),("~<*>p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 65, sourceColumn = Pos 40},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 65, sourceColumn = Pos 46}))]]]]],DocParagraph [[ParText [("\1054\1089\1090\1072\1083\1086\1089\1100",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 17})),("\1074\1086\1089\1087\1086\1083\1100\1079\1086\1074\1072\1090\1100\1089\1103",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 18},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 33})),("\1090\1077\1084,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 34},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 38})),("\1095\1090\1086",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 39},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 42})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 42},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 42}))],ParFormula [("GL(<*>)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 44},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 51})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 52},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 54})),("<*>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 55},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 60})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 61},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 62})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 63},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 65})),("<*>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 66},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 66, sourceColumn = Pos 70}))]]]],[DocParagraph [[ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 67, sourceColumn = Pos 10},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 67, sourceColumn = Pos 11})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 67, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 67, sourceColumn = Pos 14})),("<0><1>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 67, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 67, sourceColumn = Pos 22})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 67, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 67, sourceColumn = Pos 25})),("<0><1>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 67, sourceColumn = Pos 26},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 67, sourceColumn = Pos 34})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 67, sourceColumn = Pos 35},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 67, sourceColumn = Pos 37})),("~<0><1>p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 67, sourceColumn = Pos 38},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 67, sourceColumn = Pos 47}))],ParText [("\\\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 67, sourceColumn = Pos 48},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 67, sourceColumn = Pos 50}))]],[ParText [("\1055\1086",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 68, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 68, sourceColumn = Pos 11})),("\1072\1082\1089\1080\1086\1084\1077",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 68, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 68, sourceColumn = Pos 19})),("\1051\1105\1073\1072",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 68, sourceColumn = Pos 20},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 68, sourceColumn = Pos 24}))]]],DocPrefGroup (Pref {name = ">", begin = Just "\\begin{align*}", end = Just "\\end{align*}", pref = Nothing, sep = Just "\\\\", innerMath = True, insidePref = False}) [[DocParagraph [[ParText [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 69, sourceColumn = Pos 13},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 69, sourceColumn = Pos 14})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 69, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 69, sourceColumn = Pos 17})),("<0><1>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 69, sourceColumn = Pos 18},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 69, sourceColumn = Pos 25})),("&->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 69, sourceColumn = Pos 26},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 69, sourceColumn = Pos 29})),("<0>(<1>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 69, sourceColumn = Pos 30},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 69, sourceColumn = Pos 38})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 69, sourceColumn = Pos 39},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 69, sourceColumn = Pos 41})),("~<0><1>p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 69, sourceColumn = Pos 42},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 69, sourceColumn = Pos 51}))]]]],[DocParagraph [[ParText [("<1>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 70, sourceColumn = Pos 21},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 70, sourceColumn = Pos 25})),("&->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 70, sourceColumn = Pos 26},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 70, sourceColumn = Pos 29})),("<1>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 70, sourceColumn = Pos 30},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 70, sourceColumn = Pos 35})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 70, sourceColumn = Pos 36},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 70, sourceColumn = Pos 38})),("~<1>p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 70, sourceColumn = Pos 39},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 70, sourceColumn = Pos 45}))]]]]],DocParagraph [[ParText [("\1055\1086\1083\1100\1079\1091\1103\1089\1100",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 18})),("\1090\1077\1084,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 19},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 23})),("\1095\1090\1086",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 24},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 27})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 27},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 27}))],ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 29},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 30})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 31},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 33})),("~<0><1>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 34},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 42})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 43},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 45})),("[1](~<0><1>p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 46},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 59}))],ParText [("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 60},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 60})),("\1087\1086",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 61},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 63})),("\1085\1086\1088\1084\1072\1083\1100\1085\1086\1089\1090\1080",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 64},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 76})),("\1087\1086\1083\1091\1095\1072\1077\1084",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 77},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 85})),("\1090\1088\1077\1073\1091\1077\1084\1086\1077",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 86},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 71, sourceColumn = Pos 95}))]]]],[DocParagraph [[ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 10},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 11})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 14})),("<1>T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 19})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 20},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 22})),("<*>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 27})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 28},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 30})),("<1>T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 31},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 35})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 36},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 38})),("<*>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 39},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 44})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 45},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 47})),("(~<1>T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 48},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 54})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 55},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 57})),("~<*>p))",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 58},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 65}))],ParText [("\\\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 66},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 72, sourceColumn = Pos 68}))]],[ParText [("\1057\1083\1077\1076\1091\1077\1090",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 73, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 73, sourceColumn = Pos 16})),("\1080\1079",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 73, sourceColumn = Pos 17},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 73, sourceColumn = Pos 19})),("\1072\1082\1089\1080\1086\1084\1099",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 73, sourceColumn = Pos 20},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 73, sourceColumn = Pos 27})),("\1051\1105\1073\1072",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 73, sourceColumn = Pos 28},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 73, sourceColumn = Pos 32})),("\1076\1083\1103",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 73, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 73, sourceColumn = Pos 36})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 73, sourceColumn = Pos 36},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 73, sourceColumn = Pos 36}))],ParFormula [("<*>",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 73, sourceColumn = Pos 38},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 73, sourceColumn = Pos 41}))]]]]]],DocEmptyLine,DocEnvironment (Environment {name = "Lemma", begin = Just "\\begin{lemma}", end = Just "\\end{lemma}", args = [], innerMath = False, innerVerb = NoVerb, insidePref = True}) [] [DocPrefGroup (Pref {name = ">", begin = Just "\\begin{align*}", end = Just "\\end{align*}", pref = Nothing, sep = Just "\\\\", innerMath = True, insidePref = False}) [[DocParagraph [[ParText [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 76, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 76, sourceColumn = Pos 10})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 76, sourceColumn = Pos 11},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 76, sourceColumn = Pos 13})),("&<><*>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 76, sourceColumn = Pos 14},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 76, sourceColumn = Pos 21})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 76, sourceColumn = Pos 22},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 76, sourceColumn = Pos 24})),("<*>p,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 76, sourceColumn = Pos 25},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 76, sourceColumn = Pos 30}))]]]],[DocParagraph [[ParText [("&<*><1>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 77, sourceColumn = Pos 14},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 77, sourceColumn = Pos 22})),("<->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 77, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 77, sourceColumn = Pos 26})),("<0><1>p,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 77, sourceColumn = Pos 27},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 77, sourceColumn = Pos 35}))]]]],[DocParagraph [[ParText [("&<1><0>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 78, sourceColumn = Pos 14},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 78, sourceColumn = Pos 22})),("<->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 78, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 78, sourceColumn = Pos 26})),("<1>T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 78, sourceColumn = Pos 27},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 78, sourceColumn = Pos 31})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 78, sourceColumn = Pos 32},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 78, sourceColumn = Pos 34})),("<0>p,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 78, sourceColumn = Pos 35},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 78, sourceColumn = Pos 40}))]]]],[DocParagraph [[ParText [("&<1><*>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 79, sourceColumn = Pos 14},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 79, sourceColumn = Pos 22})),("<->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 79, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 79, sourceColumn = Pos 26})),("<1>T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 79, sourceColumn = Pos 27},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 79, sourceColumn = Pos 31})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 79, sourceColumn = Pos 32},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 79, sourceColumn = Pos 34})),("<*>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 79, sourceColumn = Pos 35},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 79, sourceColumn = Pos 39}))]]]]]],DocEmptyLine,DocEnvironment (Environment {name = "Proposition", begin = Just "\\begin{proposition}", end = Just "\\end{proposition}", args = [], innerMath = False, innerVerb = NoVerb, insidePref = True}) [] [DocParagraph [[ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 6},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 7})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 8},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 10})),("<>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 11},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 15})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 16},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 18})),("<>(q",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 19},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 23})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 24},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 26})),("<>",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 27},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 29})),("r))",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 30},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 33})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 34},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 36})),("<>q",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 37},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 40})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 41},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 43})),("<>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 44},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 48})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 49},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 51})),("<>r)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 52},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 56})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 57},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 59})),("<>r",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 60},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 82, sourceColumn = Pos 63}))]]]],DocEnvironment (Environment {name = "Proof", begin = Just "\\begin{proof}", end = Just "\\end{proof}", args = [], innerMath = False, innerVerb = NoVerb, insidePref = True}) [] [DocParagraph [[ParText [("\1056\1072\1089\1082\1088\1086\1077\1084",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 84, sourceColumn = Pos 5},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 84, sourceColumn = Pos 13})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 84, sourceColumn = Pos 13},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 84, sourceColumn = Pos 13}))],ParFormula [("<>",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 84, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 84, sourceColumn = Pos 17}))],ParText [("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 84, sourceColumn = Pos 18},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 84, sourceColumn = Pos 18})),("\1074",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 84, sourceColumn = Pos 19},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 84, sourceColumn = Pos 20})),("\1087\1086\1089\1099\1083\1082\1077",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 84, sourceColumn = Pos 21},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 84, sourceColumn = Pos 28}))]]],DocPrefGroup (Pref {name = ">", begin = Just "\\begin{align*}", end = Just "\\end{align*}", pref = Nothing, sep = Just "\\\\", innerMath = True, insidePref = False}) [[DocParagraph [[ParText [("<>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 13})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 14},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 16})),("<*>(q",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 17},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 22})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 25})),("<>",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 26},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 28})),("r))",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 29},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 32})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 35})),("<><*>q,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 36},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 43})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 44},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 46})),("<*>q,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 47},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 52})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 53},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 55})),("<>q",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 56},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 85, sourceColumn = Pos 59}))]]]]],DocEmptyLine,DocPrefGroup (Pref {name = ">", begin = Just "\\begin{align*}", end = Just "\\end{align*}", pref = Nothing, sep = Just "\\\\", innerMath = True, insidePref = False}) [[DocParagraph [[ParText [("<>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 13})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 14},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 16})),("<1>(q",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 17},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 22})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 25})),("<1>r))",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 26},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 32})),("&->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 36})),("<><1>(q",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 37},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 44})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 45},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 47})),("<1>r),",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 48},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 54})),("\\equiv",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 55},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 61})),("<1>^2(q",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 62},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 69})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 70},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 72})),("<1>r)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 73},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 78})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 79},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 81})),("<*><1>(q",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 82},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 90})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 91},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 93})),("<1>r)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 94},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 87, sourceColumn = Pos 99}))]]]],[DocParagraph [[ParText [("<1>^2(q",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 16},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 23})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 24},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 26})),("<1>r)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 27},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 32})),("&->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 36})),("<1>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 37},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 42})),("q,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 43},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 45})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 46},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 48})),("<1>q",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 49},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 53})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 54},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 56})),("<>q",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 57},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 88, sourceColumn = Pos 60}))]]]],[DocParagraph [[ParText [("<*><1>(q",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 23})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 24},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 26})),("<1>r)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 27},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 32})),("&<->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 37})),("<0><1>(q",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 38},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 46})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 47},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 49})),("<1>r),",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 50},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 56})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 57},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 59})),("<0>(q",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 60},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 65})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 66},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 68})),("<1>r),",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 69},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 75})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 76},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 78})),("<*>q,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 79},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 84})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 85},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 87})),("<>q",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 88},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 89, sourceColumn = Pos 91}))]]]]],DocEmptyLine,DocPrefGroup (Pref {name = ">", begin = Just "\\begin{align*}", end = Just "\\end{align*}", pref = Nothing, sep = Just "\\\\", innerMath = True, insidePref = False}) [[DocParagraph [[ParText [("<>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 13})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 14},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 16})),("<1>(q",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 17},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 22})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 25})),("<*>r))",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 26},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 32})),("&->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 36})),("<><1><*>r,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 37},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 47})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 48},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 50})),("<*>r,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 51},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 56})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 57},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 59})),("<>r",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 60},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 91, sourceColumn = Pos 63}))]]]],[DocParagraph [[ParText [("<>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 13})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 14},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 16})),("<1>(q",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 17},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 22})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 25})),("<*>r))",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 26},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 32})),("&->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 36})),("<>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 37},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 41})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 42},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 44})),("<1><*>r),",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 45},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 54})),("<>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 55},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 59})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 60},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 62})),("<>r)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 63},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 92, sourceColumn = Pos 67}))]]]]]],DocEnvironment (Environment {name = "Corollary", begin = Just "\\begin{corollary}", end = Just "\\end{corollary}", args = [], innerMath = False, innerVerb = NoVerb, insidePref = True}) [] [DocParagraph [[ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 94, sourceColumn = Pos 6},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 94, sourceColumn = Pos 7})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 94, sourceColumn = Pos 8},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 94, sourceColumn = Pos 10})),("<>^3p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 94, sourceColumn = Pos 11},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 94, sourceColumn = Pos 16})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 94, sourceColumn = Pos 17},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 94, sourceColumn = Pos 19})),("<>^2p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 94, sourceColumn = Pos 20},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 94, sourceColumn = Pos 25}))]]]],DocEmptyLine,DocEnvironment (Environment {name = "Lemma", begin = Just "\\begin{lemma}", end = Just "\\end{lemma}", args = [], innerMath = False, innerVerb = NoVerb, insidePref = True}) [] [DocParagraph [[ParText [("\1055\1091\1089\1090\1100",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 5},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 10})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 10},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 10}))],ParFormula [("<a>",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 15}))],ParText [("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 16},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 16})),("\1080",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 17},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 18})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 18},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 18}))],ParFormula [("<b>",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 20},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 23}))],ParText [("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 24},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 24})),("---",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 25},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 28})),("\1084\1086\1076\1072\1083\1100\1085\1086\1089\1090\1080",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 29},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 40})),("\1083\1086\1075\1080\1082\1080",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 41},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 47})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 47},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 47}))],ParFormula [("T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 49},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 50}))],ParText [(",",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 51},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 52})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 52},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 52}))],ParFormula [("<x>A",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 54},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 58})),("\\equiv",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 59},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 65})),("<a>A",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 66},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 70})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 71},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 73})),("<b>A",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 74},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 78}))],ParText [(".",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 79},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 97, sourceColumn = Pos 80}))]]],DocPrefGroup (Pref {name = ">", begin = Just "\\begin{align*}", end = Just "\\end{align*}", pref = Nothing, sep = Just "\\\\", innerMath = True, insidePref = False}) [[DocParagraph [[ParText [("T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 10})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 11},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 13})),("GL(<a>),",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 14},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 22})),("GL(<b>),",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 31})),("<b><a>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 32},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 39})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 40},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 42})),("<a>p,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 43},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 48})),("<a><b>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 49},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 56})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 57},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 59})),("<x>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 60},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 98, sourceColumn = Pos 64}))]]]]],DocParagraph [[ParText [("\1058\1086\1075\1076\1072",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 99, sourceColumn = Pos 5},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 99, sourceColumn = Pos 10})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 99, sourceColumn = Pos 10},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 99, sourceColumn = Pos 10}))],ParFormula [("T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 99, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 99, sourceColumn = Pos 13})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 99, sourceColumn = Pos 14},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 99, sourceColumn = Pos 16})),("GL(<x>)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 99, sourceColumn = Pos 17},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 99, sourceColumn = Pos 24}))]]]],DocEnvironment (Environment {name = "Proof", begin = Just "\\begin{proof}", end = Just "\\end{proof}", args = [], innerMath = False, innerVerb = NoVerb, insidePref = True}) [] [DocParagraph [[ParText [("\1053\1086\1088\1084\1072\1083\1100\1085\1086\1089\1090\1100",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 101, sourceColumn = Pos 5},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 101, sourceColumn = Pos 17})),("\1086\1095\1077\1074\1080\1076\1085\1072.",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 101, sourceColumn = Pos 18},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 101, sourceColumn = Pos 27})),("\\\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 101, sourceColumn = Pos 28},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 101, sourceColumn = Pos 30}))]],[ParText [("\1048\1079",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 102, sourceColumn = Pos 5},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 102, sourceColumn = Pos 7})),("\1072\1082\1089\1080\1086\1084\1099",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 102, sourceColumn = Pos 8},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 102, sourceColumn = Pos 15})),("\1051\1105\1073\1072",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 102, sourceColumn = Pos 16},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 102, sourceColumn = Pos 20})),("\1076\1083\1103",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 102, sourceColumn = Pos 21},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 102, sourceColumn = Pos 24})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 102, sourceColumn = Pos 24},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 102, sourceColumn = Pos 24}))],ParFormula [("<a>",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 102, sourceColumn = Pos 26},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 102, sourceColumn = Pos 29}))]]],DocPrefGroup (Pref {name = ">", begin = Just "\\begin{align*}", end = Just "\\end{align*}", pref = Nothing, sep = Just "\\\\", innerMath = True, insidePref = False}) [[DocParagraph [[ParText [("<a>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 13})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 14},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 16})),("<a>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 17},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 22})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 25})),("~<x>p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 26},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 32})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 35})),("<a>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 36},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 41})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 42},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 44})),("~<a>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 45},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 50})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 51},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 53})),("<b>p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 54},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 103, sourceColumn = Pos 59}))]]]]],DocParagraph [[ParText [("\1048\1079",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 104, sourceColumn = Pos 5},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 104, sourceColumn = Pos 7})),("\1072\1082\1089\1080\1086\1084\1099",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 104, sourceColumn = Pos 8},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 104, sourceColumn = Pos 15})),("\1051\1105\1073\1072",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 104, sourceColumn = Pos 16},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 104, sourceColumn = Pos 20})),("\1076\1083\1103",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 104, sourceColumn = Pos 21},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 104, sourceColumn = Pos 24})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 104, sourceColumn = Pos 24},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 104, sourceColumn = Pos 24}))],ParFormula [("<b>",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 104, sourceColumn = Pos 26},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 104, sourceColumn = Pos 29}))]]],DocPrefGroup (Pref {name = ">", begin = Just "\\begin{align*}", end = Just "\\end{align*}", pref = Nothing, sep = Just "\\\\", innerMath = True, insidePref = False}) [[DocParagraph [[ParText [("<a>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 14})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 17})),("~<a>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 18},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 23})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 24},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 26})),("<b>p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 27},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 32})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 35})),("<a>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 36},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 41})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 42},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 44})),("~<a>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 45},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 50})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 51},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 53})),("<b>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 54},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 59})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 60},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 62})),("~<b>p))",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 63},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 105, sourceColumn = Pos 70}))]]]]],DocParagraph [[ParText [("\1054\1090\1082\1091\1076\1072",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 106, sourceColumn = Pos 5},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 106, sourceColumn = Pos 11})),("\1087\1086",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 106, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 106, sourceColumn = Pos 14})),("\1085\1086\1088\1084\1072\1083\1100\1085\1086\1089\1090\1080,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 106, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 106, sourceColumn = Pos 28})),("\1090\1072\1082",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 106, sourceColumn = Pos 29},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 106, sourceColumn = Pos 32})),("\1082\1072\1082",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 106, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 106, sourceColumn = Pos 36})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 106, sourceColumn = Pos 36},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 106, sourceColumn = Pos 36}))],ParFormula [("~<a>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 106, sourceColumn = Pos 38},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 106, sourceColumn = Pos 43})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 106, sourceColumn = Pos 44},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 106, sourceColumn = Pos 46})),("[b]~<a>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 106, sourceColumn = Pos 47},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 106, sourceColumn = Pos 55}))]]],DocPrefGroup (Pref {name = ">", begin = Just "\\begin{align*}", end = Just "\\end{align*}", pref = Nothing, sep = Just "\\\\", innerMath = True, insidePref = False}) [[DocParagraph [[ParText [("<a>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 14})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 17})),("~<a>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 18},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 23})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 24},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 26})),("<b>p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 27},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 32})),("&->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 36})),("<a>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 37},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 42})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 43},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 45})),("<b>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 46},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 51})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 52},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 54})),("~<x>p))",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 55},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 107, sourceColumn = Pos 62}))]]]],[DocParagraph [[ParText [("&->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 108, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 108, sourceColumn = Pos 36})),("<a><b>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 108, sourceColumn = Pos 37},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 108, sourceColumn = Pos 45})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 108, sourceColumn = Pos 46},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 108, sourceColumn = Pos 48})),("~<x>p),",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 108, sourceColumn = Pos 49},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 108, sourceColumn = Pos 56}))]]]],[DocParagraph [[ParText [("&->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 109, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 109, sourceColumn = Pos 36})),("<x>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 109, sourceColumn = Pos 37},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 109, sourceColumn = Pos 42})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 109, sourceColumn = Pos 43},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 109, sourceColumn = Pos 45})),("~<x>p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 109, sourceColumn = Pos 46},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 109, sourceColumn = Pos 52}))]]]]],DocParagraph [[ParText [("\1048\1090\1072\1082,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 110, sourceColumn = Pos 5},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 110, sourceColumn = Pos 10})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 110, sourceColumn = Pos 10},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 110, sourceColumn = Pos 10}))],ParFormula [("<a>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 110, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 110, sourceColumn = Pos 16})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 110, sourceColumn = Pos 17},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 110, sourceColumn = Pos 19})),("<x>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 110, sourceColumn = Pos 20},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 110, sourceColumn = Pos 25})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 110, sourceColumn = Pos 26},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 110, sourceColumn = Pos 28})),("~<>p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 110, sourceColumn = Pos 29},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 110, sourceColumn = Pos 34}))],ParText [(".",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 110, sourceColumn = Pos 35},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 110, sourceColumn = Pos 36}))]],[ParText [("\1040\1085\1072\1083\1086\1075\1080\1095\1085\1086",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 111, sourceColumn = Pos 5},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 111, sourceColumn = Pos 15})),("\1087\1086\1083\1091\1095\1072\1077\1084",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 111, sourceColumn = Pos 16},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 111, sourceColumn = Pos 24}))]]],DocPrefGroup (Pref {name = ">", begin = Just "\\begin{align*}", end = Just "\\end{align*}", pref = Nothing, sep = Just "\\\\", innerMath = True, insidePref = False}) [[DocParagraph [[ParText [("~<a>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 112, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 112, sourceColumn = Pos 14})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 112, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 112, sourceColumn = Pos 17})),("<b>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 112, sourceColumn = Pos 18},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 112, sourceColumn = Pos 22})),("&->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 112, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 112, sourceColumn = Pos 26})),("[b]~<a>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 112, sourceColumn = Pos 27},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 112, sourceColumn = Pos 35})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 112, sourceColumn = Pos 36},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 112, sourceColumn = Pos 38})),("<b>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 112, sourceColumn = Pos 39},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 112, sourceColumn = Pos 44})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 112, sourceColumn = Pos 45},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 112, sourceColumn = Pos 47})),("~<b>p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 112, sourceColumn = Pos 48},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 112, sourceColumn = Pos 54}))]]]],[DocParagraph [[ParText [("&->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 113, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 113, sourceColumn = Pos 26})),("<b>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 113, sourceColumn = Pos 27},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 113, sourceColumn = Pos 32})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 113, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 113, sourceColumn = Pos 35})),("~<x>p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 113, sourceColumn = Pos 36},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 113, sourceColumn = Pos 42}))]]]]]],DocEmptyLine,DocEnvironment (Environment {name = "Proposition", begin = Just "\\begin{proposition}", end = Just "\\end{proposition}", args = [], innerMath = False, innerVerb = NoVerb, insidePref = True}) [] [DocParagraph [[ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 116, sourceColumn = Pos 6},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 116, sourceColumn = Pos 7})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 116, sourceColumn = Pos 8},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 116, sourceColumn = Pos 10})),("GL(<>^2\\cdot)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 116, sourceColumn = Pos 11},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 116, sourceColumn = Pos 24}))]]]],DocEnvironment (Environment {name = "Proof", begin = Just "\\begin{proof}", end = Just "\\end{proof}", args = [], innerMath = False, innerVerb = NoVerb, insidePref = True}) [] [DocPrefGroup (Pref {name = ">", begin = Just "\\begin{align*}", end = Just "\\end{align*}", pref = Nothing, sep = Just "\\\\", innerMath = True, insidePref = False}) [[DocParagraph [[ParText [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 10})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 11},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 13})),("<>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 14},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 18})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 19},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 20})),("&<->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 21},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 25})),("<1><1>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 26},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 33})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 34},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 36})),("<1><*>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 37},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 44})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 45},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 47})),("<*><1>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 48},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 55})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 56},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 58})),("<*><*>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 59},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 118, sourceColumn = Pos 66}))]]]],[DocParagraph [[ParText [("&<->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 119, sourceColumn = Pos 21},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 119, sourceColumn = Pos 25})),("<1>T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 119, sourceColumn = Pos 26},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 119, sourceColumn = Pos 30})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 119, sourceColumn = Pos 31},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 119, sourceColumn = Pos 33})),("<*>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 119, sourceColumn = Pos 34},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 119, sourceColumn = Pos 38})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 119, sourceColumn = Pos 39},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 119, sourceColumn = Pos 41})),("<0><1>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 119, sourceColumn = Pos 42},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 119, sourceColumn = Pos 49})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 119, sourceColumn = Pos 50},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 119, sourceColumn = Pos 52})),("<*>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 119, sourceColumn = Pos 53},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 119, sourceColumn = Pos 58})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 119, sourceColumn = Pos 59},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 119, sourceColumn = Pos 60}))]]]]],DocParagraph [[ParText [("\1058\1077\1087\1077\1088\1100",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 120, sourceColumn = Pos 5},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 120, sourceColumn = Pos 11})),("\1076\1074\1072\1078\1076\1099",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 120, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 120, sourceColumn = Pos 18})),("\1074\1086\1089\1087\1086\1083\1100\1079\1091\1077\1084\1089\1103",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 120, sourceColumn = Pos 19},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 120, sourceColumn = Pos 32})),("\1083\1077\1084\1084\1086\1081.",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 120, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 120, sourceColumn = Pos 40})),("\\\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 120, sourceColumn = Pos 41},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 120, sourceColumn = Pos 43}))]],[ParText [("\1057\1085\1072\1095\1072\1083\1072",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 5},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 12})),("\1076\1083\1103",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 13},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 16})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 16},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 16}))],ParFormula [("<a>",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 18},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 21})),("\\equiv",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 22},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 28})),("<0><1>",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 29},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 35}))],ParText [("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 36},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 36})),("\1080",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 37},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 38})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 38},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 38}))],ParFormula [("<b>",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 40},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 43})),("\\equiv",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 44},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 50})),("<*>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 51},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 56}))],ParText [(".",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 57},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 121, sourceColumn = Pos 58}))]]],DocPrefGroup (Pref {name = "-", begin = Just "\\begin{itemize}", end = Just "\\end{itemize}", pref = Just "\\item", sep = Nothing, innerMath = False, insidePref = True}) [[DocParagraph [[ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 122, sourceColumn = Pos 10},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 122, sourceColumn = Pos 11})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 122, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 122, sourceColumn = Pos 14})),("<*>^2<0><1>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 122, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 122, sourceColumn = Pos 27})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 122, sourceColumn = Pos 28},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 122, sourceColumn = Pos 30})),("<0>^3<1>p,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 122, sourceColumn = Pos 31},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 122, sourceColumn = Pos 41})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 122, sourceColumn = Pos 42},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 122, sourceColumn = Pos 44})),("<0><1>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 122, sourceColumn = Pos 45},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 122, sourceColumn = Pos 52}))]]]],[DocParagraph [[ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 123, sourceColumn = Pos 10},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 123, sourceColumn = Pos 11})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 123, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 123, sourceColumn = Pos 14})),("<0><1><*>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 123, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 123, sourceColumn = Pos 26})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 123, sourceColumn = Pos 27},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 123, sourceColumn = Pos 28})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 123, sourceColumn = Pos 29},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 123, sourceColumn = Pos 31})),("<*>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 123, sourceColumn = Pos 32},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 123, sourceColumn = Pos 36}))]]]]],DocParagraph [[ParText [("\1054\1089\1090\1072\1083\1086\1089\1100",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 5},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 13})),("\1087\1088\1080\1084\1077\1085\1080\1090\1100",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 14},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 23})),("\1090\1091",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 24},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 26})),("\1078\1077",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 27},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 29})),("\1083\1077\1084\1084\1091",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 30},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 35})),("\1076\1083\1103",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 36},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 39})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 39},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 39}))],ParFormula [("<a>",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 41},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 44})),("\\equiv",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 45},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 51})),("<1>T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 52},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 56})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 57},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 59})),("<*>\\cdot",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 60},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 68}))],ParText [("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 69},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 69})),("\1080",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 70},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 71})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 71},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 71}))],ParFormula [("<b>",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 73},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 76})),("\\equiv",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 77},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 83})),("<0><1>\\cdot",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 84},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 95})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 96},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 98})),("<*>^2\\cdot",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 99},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 109}))],ParText [(".",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 110},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 124, sourceColumn = Pos 111}))]]],DocPrefGroup (Pref {name = "-", begin = Just "\\begin{itemize}", end = Just "\\end{itemize}", pref = Just "\\item", sep = Nothing, innerMath = False, insidePref = True}) [[DocParagraph [[ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 10},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 11})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 14})),("<1>T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 19})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 20},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 22})),("<*>(<0><1>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 34})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 35},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 37})),("<*>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 38},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 43})),("p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 44},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 46})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 47},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 49})),("<0><0><1>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 50},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 60})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 61},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 63})),("<0><*>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 64},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 72})),("p,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 73},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 75})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 76},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 78})),("<0><1>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 79},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 86})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 87},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 89})),("<*>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 90},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 95})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 96},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 125, sourceColumn = Pos 97}))]]]],[DocParagraph [[ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 10},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 11})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 14})),("<0><1>(<1>T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 26})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 27},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 29})),("<*>p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 30},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 35})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 36},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 38})),("<*>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 39},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 44})),("(<1>T",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 45},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 50})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 51},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 53})),("<*>p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 54},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 59})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 60},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 62})),("<0><1><*>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 63},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 73})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 74},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 76})),("<*>^3",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 77},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 82})),("p,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 83},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 85})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 86},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 88})),("<0><1>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 89},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 96})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 97},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 99})),("<*>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 100},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 105})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 106},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 126, sourceColumn = Pos 107}))]]]]]],DocEmptyLine,DocEnvironment (Environment {name = "Corollary", begin = Just "\\begin{corollary}", end = Just "\\end{corollary}", args = [], innerMath = False, innerVerb = NoVerb, insidePref = True}) [] [DocParagraph [[ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 129, sourceColumn = Pos 6},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 129, sourceColumn = Pos 7})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 129, sourceColumn = Pos 8},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 129, sourceColumn = Pos 10})),("GL(<>\\cdot",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 129, sourceColumn = Pos 11},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 129, sourceColumn = Pos 21})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 129, sourceColumn = Pos 22},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 129, sourceColumn = Pos 24})),("<>^2\\cdot)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 129, sourceColumn = Pos 25},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 129, sourceColumn = Pos 35}))],ParText [(",",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 129, sourceColumn = Pos 36},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 129, sourceColumn = Pos 37})),("\1072",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 129, sourceColumn = Pos 38},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 129, sourceColumn = Pos 39})),("\1090\1086\1095\1085\1077\1077:",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 129, sourceColumn = Pos 40},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 129, sourceColumn = Pos 47}))]]],DocPrefGroup (Pref {name = "-", begin = Just "\\begin{itemize}", end = Just "\\end{itemize}", pref = Just "\\item", sep = Nothing, innerMath = False, insidePref = True}) [[DocParagraph [[ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 10},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 11})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 14})),("<>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 19})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 20},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 21})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 22},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 24})),("<>^2(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 25},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 31})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 32},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 34})),("~<>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 35},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 39})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 40},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 42})),("~<>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 43},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 48})),("p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 49},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 130, sourceColumn = Pos 51}))]]]],[DocParagraph [[ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 10},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 11})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 14})),("<>",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 17})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 18},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 19})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 20},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 22})),("<>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 27})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 28},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 30})),("~<>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 31},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 35})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 36},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 38})),("~<>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 39},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 44})),("p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 45},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 47})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 48},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 50})),("<>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 51},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 55})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 56},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 131, sourceColumn = Pos 57}))]]]]]],DocEnvironment (Environment {name = "Proof", begin = Just "\\begin{proof}", end = Just "\\end{proof}", args = [], innerMath = False, innerVerb = NoVerb, insidePref = True}) [] [DocParagraph [[ParText [("\1058\1086,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 5},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 8})),("\1095\1090\1086",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 12})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 12},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 12}))],ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 14},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 15})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 16},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 18})),("GL(<>\\cdot",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 19},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 29})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 30},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 32})),("<>^2\\cdot)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 43}))],ParText [("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 44},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 44})),("\1103\1074\1083\1103\1077\1090\1089\1103",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 45},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 53})),("\1089\1083\1077\1076\1089\1090\1074\1080\1077\1084",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 54},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 64})),("\1089\1083\1077\1076\1091\1102\1097\1080\1093",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 65},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 74})),("\1087\1091\1085\1082\1090\1086\1074",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 75},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 133, sourceColumn = Pos 82}))]]],DocPrefGroup (Pref {name = "-", begin = Just "\\begin{itemize}", end = Just "\\end{itemize}", pref = Just "\\item", sep = Nothing, innerMath = False, insidePref = True}) [[DocParagraph [[ParText [("\1048\1089\1087\1086\1083\1100\1079\1091\1103",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 134, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 134, sourceColumn = Pos 18})),("\1087\1088\1077\1076\1099\1076\1091\1097\1077\1077",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 134, sourceColumn = Pos 19},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 134, sourceColumn = Pos 29})),("\1087\1088\1077\1076\1083\1086\1078\1077\1085\1080\1077",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 134, sourceColumn = Pos 30},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 134, sourceColumn = Pos 41})),("\1080",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 134, sourceColumn = Pos 42},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 134, sourceColumn = Pos 43})),("\1085\1086\1088\1084\1072\1083\1100\1085\1086\1089\1090\1100",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 134, sourceColumn = Pos 44},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 134, sourceColumn = Pos 56}))]]],DocPrefGroup (Pref {name = ">", begin = Just "\\begin{align*}", end = Just "\\end{align*}", pref = Nothing, sep = Just "\\\\", innerMath = True, insidePref = False}) [[DocParagraph [[ParText [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 13},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 14})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 17})),("<>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 18},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 22})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 24})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 25},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 27})),("<>^2(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 28},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 34})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 35},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 37})),("~<>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 38},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 42})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 43},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 45})),("~<>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 46},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 51})),("p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 52},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 54})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 55},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 57})),("<>^2(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 58},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 64})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 65},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 67})),("<>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 68},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 71})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 72},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 74})),("~<>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 75},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 80})),("p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 81},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 135, sourceColumn = Pos 83}))]]]]],DocParagraph [[ParText [("\1058\1072\1082",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 12})),("\1082\1072\1082",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 13},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 16})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 16},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 16}))],ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 18},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 19})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 20},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 22})),("<>^3",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 23},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 27})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 28},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 29})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 30},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 32})),("<>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 33},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 37})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 38},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 39}))],ParText [("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 40},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 40})),("\1080",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 41},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 42})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 42},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 42}))],ParFormula [("K(<>)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 44},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 49})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 50},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 52})),("<>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 53},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 56})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 57},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 59})),("~<>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 60},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 65})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 66},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 67})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 68},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 70})),("~<>^3",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 71},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 76})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 77},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 78})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 79},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 81})),("<>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 82},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 86})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 87},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 89})),("~<>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 90},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 94})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 95},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 97})),("~<>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 98},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 103})),("p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 104},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 136, sourceColumn = Pos 106}))]]],DocPrefGroup (Pref {name = ">", begin = Just "\\begin{align*}", end = Just "\\end{align*}", pref = Nothing, sep = Just "\\\\", innerMath = True, insidePref = False}) [[DocParagraph [[ParText [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 13},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 14})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 15},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 17})),("<>^2(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 18},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 24})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 25},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 27})),("<>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 28},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 31})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 32},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 34})),("~<>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 35},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 40})),("p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 41},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 43})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 44},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 46})),("<>^2<>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 47},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 55})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 56},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 58})),("~<>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 59},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 63})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 64},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 66})),("~<>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 67},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 72})),("p),",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 73},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 76})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 77},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 79})),("<>^2(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 80},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 86})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 87},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 89})),("~<>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 90},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 94})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 95},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 97})),("~<>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 98},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 103})),("p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 104},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 137, sourceColumn = Pos 106}))]]]]]],[DocParagraph [[ParText [("\1047\1072\1084\1077\1090\1080\1084,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 138, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 138, sourceColumn = Pos 17})),("\1095\1090\1086",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 138, sourceColumn = Pos 18},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 138, sourceColumn = Pos 21}))]]],DocPrefGroup (Pref {name = ">", begin = Just "\\begin{align*}", end = Just "\\end{align*}", pref = Nothing, sep = Just "\\\\", innerMath = True, insidePref = False}) [[DocParagraph [[ParText [("K(<>)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 13},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 18})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 19},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 21})),("<>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 22},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 25})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 26},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 28})),("<>(p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 29},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 33})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 34},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 36})),("~<>p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 37},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 41})),("/\\",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 42},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 44})),("~<>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 45},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 50})),("p)",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 51},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 53})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 54},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 56})),("<>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 57},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 61})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 62},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 63})),("\\/",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 64},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 66})),("<>^3",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 67},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 71})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 72},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 139, sourceColumn = Pos 73}))]]]]],DocParagraph [[ParText [("\1054\1090\1082\1091\1076\1072",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 9},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 15})),("\1087\1086\1083\1100\1079\1091\1103\1089\1100",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 16},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 25})),("\1090\1077\1084,",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 26},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 30})),("\1095\1090\1086",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 31},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 34})),("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 34},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 34}))],ParFormula [("J",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 36},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 37})),("|-",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 38},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 40})),("<>^3",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 41},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 45})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 46},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 47})),("->",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 48},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 50})),("<>^2",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 51},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 55})),("p",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 56},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 57}))],ParText [("",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 58},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 58})),("\1087\1086\1083\1091\1095\1072\1077\1084",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 59},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 67})),("\1090\1088\1077\1073\1091\1077\1084\1086\1077",(SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 68},SourcePos {sourceName = "./examples/nibergall.ttex", sourceLine = Pos 140, sourceColumn = Pos 77}))]]]]]]]]