#let math_shorthands = (
  ($-o$, $multimap$),
  ($~=$, $tilde.equiv$),
  ($(*)$, $times.o$),
  ($(times)$, $times.o$),
  ($(+)$, $plus.o$),
  ($(plus)$, $plus.o$),
  ($|=$, $tack.r.double$),
  ($|-$, $tack.r$),
  ($t->$, $mapsto$),
  ($t-->$, $mapsto.long$),
)

#let par = rotate(180deg, "&")
#let yo = $よ$
#let inj = $"inj"$

#let lA = $overline(A)$
#let lB = $overline(B)$
#let lC = $overline(C)$
#let lD = $overline(D)$
#let lE = $overline(E)$
#let lF = $overline(F)$
#let lG = $overline(G)$
#let lH = $overline(H)$
#let lI = $overline(I)$
#let lJ = $overline(J)$
#let lK = $overline(K)$
#let lL = $overline(L)$
#let lM = $overline(M)$
#let lN = $overline(N)$
#let lO = $overline(O)$
#let lP = $overline(P)$
#let lQ = $overline(Q)$
#let lR = $overline(R)$
#let lS = $overline(S)$
#let lT = $overline(T)$
#let lU = $overline(U)$
#let lV = $overline(V)$
#let lW = $overline(W)$
#let lX = $overline(X)$
#let lY = $overline(Y)$
#let lZ = $overline(Z)$

#let la = $overline(a)$
#let lb = $overline(b)$
#let lc = $overline(c)$
#let ld = $overline(d)$
#let le = $overline(e)$
#let lf = $overline(f)$
#let lg = $overline(g)$
#let lh = $overline(h)$
#let li = $overline(i)$
#let lj = $overline(j)$
#let lk = $overline(k)$
#let ll = $overline(l)$
#let lm = $overline(m)$
#let ln = $overline(n)$
#let lo = $overline(o)$
#let lp = $overline(p)$
#let lq = $overline(q)$
#let lr = $overline(r)$
#let ls = $overline(s)$
#let lt = $overline(t)$
#let lu = $overline(u)$
#let lv = $overline(v)$
#let lw = $overline(w)$
#let lx = $overline(x)$
#let ly = $overline(y)$
#let lz = $overline(z)$

#let cA = math.cal("A")
#let cB = math.cal("B")
#let cC = math.cal("C")
#let cD = math.cal("D")
#let cE = math.cal("E")
#let cF = math.cal("F")
#let cG = math.cal("G")
#let cH = math.cal("H")
#let cI = math.cal("I")
#let cJ = math.cal("J")
#let cK = math.cal("K")
#let cL = math.cal("L")
#let cM = math.cal("M")
#let cN = math.cal("N")
#let cO = math.cal("O")
#let cP = math.cal("P")
#let cQ = math.cal("Q")
#let cR = math.cal("R")
#let cS = math.cal("S")
#let cT = math.cal("T")
#let cU = math.cal("U")
#let cV = math.cal("V")
#let cW = math.cal("W")
#let cX = math.cal("X")
#let cY = math.cal("Y")
#let cZ = math.cal("Z")