ordering
This commit is contained in:
parent
15f8397c6c
commit
61170953fe
1 changed files with 3 additions and 3 deletions
|
@ -2,17 +2,17 @@ window.addEventListener("load", () => {
|
||||||
const macros = {};
|
const macros = {};
|
||||||
for (const item of new Map(
|
for (const item of new Map(
|
||||||
Object.entries({
|
Object.entries({
|
||||||
|
B: "mathbb{B}",
|
||||||
N: "mathbb{N}",
|
N: "mathbb{N}",
|
||||||
R: "mathbb{R}",
|
R: "mathbb{R}",
|
||||||
Z: "mathbb{Z}",
|
Z: "mathbb{Z}",
|
||||||
B: "mathbb{B}",
|
|
||||||
O: "Theta",
|
O: "Theta",
|
||||||
|
Tau: "mathrm{T}",
|
||||||
|
u: "mu",
|
||||||
ra: "rightarrow",
|
ra: "rightarrow",
|
||||||
la: "leftarrow",
|
la: "leftarrow",
|
||||||
RA: "Rightarrow",
|
RA: "Rightarrow",
|
||||||
LA: "Leftarrow",
|
LA: "Leftarrow",
|
||||||
u: "mu",
|
|
||||||
Tau: "mathrm{T}",
|
|
||||||
lb: "llbracket",
|
lb: "llbracket",
|
||||||
rb: "rrbracket",
|
rb: "rrbracket",
|
||||||
})
|
})
|
||||||
|
|
Loading…
Reference in a new issue