%format .     = "."
%format ~>    = "\leadsto{}"
%format <~    = "\leadsto{}"
%format <#>   = "\oplus{}"
%format <##>  = "\otimes{}"
%format <<#>  = "\varobar{}"
%format <<##> = "\olessthan{}"
%format (sub (x) (n)) = "{" x "}_{" n "}"
%format (many (x)) = "\overline{" x "}"
%format :*:  = "\ni"
%format param1
%format param2
%format alpha = "\alpha{}"
%format beta = "\beta{}"
%format forall = "\forall{}"
%format := = "\coloneqq{}"
%format `deref` = "\circ"
%format myeq = "(" == ")"
%format ^^ = "\;"
%format ^^^ = "\hspace{1em}"
%format ~ = "\_{}"
%format TT = "\Conid{T}\!"
%format kk = "\Varid{k}\!"
%format tt = "\Varid{t}\!"
%format `times` = "\times{}"
%format <# = "\llbracket{}"
%format #> = "\rrbracket{}"
%format |= = "\,\vee\!\!=\,"

%format ty = "\tau{}"
%format ty1
%format ty2
%format ty3
%format ty4
%format x1
%format x2
%format x3
%format x4
%format x5
%format x6
%format x7
%format x8
%format x9
%format x10
%format x11
%format x12
%format x13
%format x14
%format x15
%format x16
%format x17
%format x18
%format p1
%format p2
%format p3
%format e1
%format e2
%format s1
%format s2
%format t1
%format t2
%format t3
%format v1
%format v2
%format v3
%format v4
%format i1
%format i2
%format i3
%format i4
%format m1
%format m2
%format m3
%format m4
%format n1
%format n2
%format n3
%format n4

%format nmclass = "\Varid{class}"