add lb and rb

This commit is contained in:
Mylloon 2024-10-08 13:21:30 +02:00
parent 37b51bcbee
commit 3f3efe4afa
Signed by: Anri
GPG key ID: A82D63DFF8D1317F

View file

@ -12,6 +12,8 @@ window.addEventListener("load", () => {
LA: "Leftarrow", LA: "Leftarrow",
u: "mu", u: "mu",
Tau: "mathrm{T}", Tau: "mathrm{T}",
lb: "textlbrackdbl",
rb: "textrbrackdbl",
}) })
)[Symbol.iterator]()) { )[Symbol.iterator]()) {
const bs = "\\"; const bs = "\\";