<<< native
[ EArray
[ AlignCenter , AlignCenter ]
[ [ [ EText TextNormal "vangrt" ] , [ ESymbol Ord "\10652" ] ]
, [ [ EText TextNormal "varepsilon" ] , [ ESymbol Alpha "\1013" ] ]
, [ [ EText TextNormal "varkappa" ] , [ ESymbol Alpha "\1008" ] ]
, [ [ EText TextNormal "varnothing" ] , [ ESymbol Ord "\8709" ] ]
, [ [ EText TextNormal "varphi" ] , [ ESymbol Alpha "\981" ] ]
, [ [ EText TextNormal "varpi" ] , [ ESymbol Alpha "\982" ] ]
, [ [ EText TextNormal "varpropto" ] , [ ESymbol Rel "\8733" ] ]
, [ [ EText TextNormal "varr" ] , [ ESymbol Rel "\8597" ] ]
, [ [ EText TextNormal "vArr" ] , [ ESymbol Rel "\8661" ] ]
, [ [ EText TextNormal "varrho" ] , [ ESymbol Alpha "\1009" ] ]
, [ [ EText TextNormal "varsigma" ] , [ ESymbol Alpha "\962" ] ]
, [ [ EText TextNormal "varsubsetneq" ]
, [ EMathOperator "\8842\65024" ]
]
, [ [ EText TextNormal "varsubsetneqq" ]
, [ EMathOperator "\10955\65024" ]
]
, [ [ EText TextNormal "varsupsetneq" ]
, [ EMathOperator "\8843\65024" ]
]
, [ [ EText TextNormal "varsupsetneqq" ]
, [ EMathOperator "\10956\65024" ]
]
, [ [ EText TextNormal "vartheta" ] , [ ESymbol Alpha "\977" ] ]
, [ [ EText TextNormal "vartriangleleft" ]
, [ ESymbol Rel "\8882" ]
]
, [ [ EText TextNormal "vartriangleright" ]
, [ ESymbol Rel "\8883" ]
]
, [ [ EText TextNormal "vBar" ] , [ ESymbol Rel "\10984" ] ]
, [ [ EText TextNormal "Vbar" ] , [ ESymbol Rel "\10987" ] ]
, [ [ EText TextNormal "vBarv" ] , [ ESymbol Rel "\10985" ] ]
, [ [ EText TextNormal "vcy" ] , [ ESymbol Ord "\1074" ] ]
, [ [ EText TextNormal "Vcy" ] , [ ESymbol Ord "\1042" ] ]
, [ [ EText TextNormal "vdash" ] , [ ESymbol Rel "\8866" ] ]
, [ [ EText TextNormal "vDash" ] , [ ESymbol Rel "\8872" ] ]
, [ [ EText TextNormal "Vdash" ] , [ ESymbol Rel "\8873" ] ]
, [ [ EText TextNormal "VDash" ] , [ ESymbol Rel "\8875" ] ]
, [ [ EText TextNormal "Vdashl" ] , [ ESymbol Rel "\10982" ] ]
, [ [ EText TextNormal "vee" ] , [ ESymbol Bin "\8744" ] ]
, [ [ EText TextNormal "Vee" ] , [ ESymbol Op "\8897" ] ]
, [ [ EText TextNormal "veebar" ] , [ ESymbol Bin "\8891" ] ]
, [ [ EText TextNormal "veeeq" ] , [ ESymbol Rel "\8794" ] ]
, [ [ EText TextNormal "vellip" ] , [ ESymbol Rel "\8942" ] ]
, [ [ EText TextNormal "verbar" ] , [ ESymbol Op "|" ] ]
, [ [ EText TextNormal "Verbar" ] , [ ESymbol Close "\8214" ] ]
, [ [ EText TextNormal "vert" ] , [ ESymbol Op "|" ] ]
, [ [ EText TextNormal "Vert" ] , [ ESymbol Close "\8214" ] ]
, [ [ EText TextNormal "VerticalBar" ] , [ ESymbol Rel "\8739" ] ]
, [ [ EText TextNormal "VerticalLine" ] , [ ESymbol Op "|" ] ]
, [ [ EText TextNormal "VerticalSeparator" ]
, [ ESymbol Ord "\10072" ]
]
, [ [ EText TextNormal "VerticalTilde" ]
, [ ESymbol Bin "\8768" ]
]
, [ [ EText TextNormal "VeryThinSpace" ]
, [ ESymbol Ord "\8202" ]
]
, [ [ EText TextNormal "vfr" ] , [ ESymbol Alpha "\120115" ] ]
, [ [ EText TextNormal "Vfr" ] , [ ESymbol Alpha "\120089" ] ]
, [ [ EText TextNormal "vltri" ] , [ ESymbol Rel "\8882" ] ]
, [ [ EText TextNormal "vnsub" ] , [ ESymbol Ord "\8834\8402" ] ]
, [ [ EText TextNormal "vnsup" ] , [ ESymbol Ord "\8835\8402" ] ]
, [ [ EText TextNormal "vopf" ] , [ ESymbol Alpha "\120167" ] ]
, [ [ EText TextNormal "Vopf" ] , [ ESymbol Alpha "\120141" ] ]
, [ [ EText TextNormal "vprop" ] , [ ESymbol Rel "\8733" ] ]
, [ [ EText TextNormal "vrtri" ] , [ ESymbol Rel "\8883" ] ]
, [ [ EText TextNormal "vscr" ] , [ ESymbol Alpha "\120011" ] ]
, [ [ EText TextNormal "Vscr" ] , [ ESymbol Alpha "\119985" ] ]
, [ [ EText TextNormal "vsubne" ]
, [ EMathOperator "\8842\65024" ]
]
, [ [ EText TextNormal "vsubnE" ]
, [ EMathOperator "\10955\65024" ]
]
, [ [ EText TextNormal "vsupne" ]
, [ EMathOperator "\8843\65024" ]
]
, [ [ EText TextNormal "vsupnE" ]
, [ EMathOperator "\10956\65024" ]
]
, [ [ EText TextNormal "Vvdash" ] , [ ESymbol Rel "\8874" ] ]
, [ [ EText TextNormal "vzigzag" ] , [ ESymbol Ord "\10650" ] ]
]
]
>>> omml
<?xml version='1.0' ?>
<m:oMathPara>
<m:oMathParaPr>
<m:jc m:val="center" />
</m:oMathParaPr>
<m:oMath>
<m:m>
<m:mPr>
<m:baseJc m:val="center" />
<m:plcHide m:val="1" />
<m:mcs>
<m:mc>
<m:mcPr>
<m:mcJc m:val="center" />
<m:count m:val="1" />
</m:mcPr>
</m:mc>
<m:mc>
<m:mcPr>
<m:mcJc m:val="center" />
<m:count m:val="1" />
</m:mcPr>
</m:mc>
</m:mcs>
</m:mPr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vangrt</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⦜</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>varepsilon</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>ϵ</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>varkappa</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>ϰ</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>varnothing</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>∅</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>varphi</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>ϕ</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>varpi</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>ϖ</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>varpropto</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>∝</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>varr</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>↕</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vArr</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⇕</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>varrho</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>ϱ</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>varsigma</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>ς</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>varsubsetneq</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⊊︀</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>varsubsetneqq</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⫋︀</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>varsupsetneq</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⊋︀</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>varsupsetneqq</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⫌︀</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vartheta</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>ϑ</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vartriangleleft</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⊲</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vartriangleright</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⊳</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vBar</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⫨</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>Vbar</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⫫</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vBarv</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⫩</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vcy</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>в</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>Vcy</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>В</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vdash</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⊢</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vDash</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⊨</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>Vdash</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⊩</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>VDash</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⊫</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>Vdashl</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⫦</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vee</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>∨</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>Vee</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⋁</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>veebar</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⊻</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>veeeq</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>≚</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vellip</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⋮</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>verbar</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>|</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>Verbar</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>‖</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vert</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>|</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>Vert</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>‖</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>VerticalBar</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>∣</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>VerticalLine</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>|</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>VerticalSeparator</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>❘</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>VerticalTilde</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>≀</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>VeryThinSpace</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t> </m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vfr</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>𝔳</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>Vfr</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>𝔙</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vltri</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⊲</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vnsub</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⊂⃒</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vnsup</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⊃⃒</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vopf</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>𝕧</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>Vopf</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>𝕍</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vprop</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>∝</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vrtri</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⊳</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vscr</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>𝓋</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>Vscr</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>𝒱</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vsubne</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⊊︀</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vsubnE</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⫋︀</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vsupne</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⊋︀</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vsupnE</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⫌︀</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>Vvdash</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⊪</m:t>
</m:r>
</m:e>
</m:mr>
<m:mr>
<m:e>
<m:r>
<m:rPr>
<m:nor />
<m:sty m:val="p" />
</m:rPr>
<m:t>vzigzag</m:t>
</m:r>
</m:e>
<m:e>
<m:r>
<m:rPr>
<m:sty m:val="p" />
</m:rPr>
<m:t>⦚</m:t>
</m:r>
</m:e>
</m:mr>
</m:m>
</m:oMath>
</m:oMathPara>