knuth

{
  "id": 917660,
  "created_at": "2021-06-28T00:14:53.000Z",
  "tag_name": "knuth",
  "nsfw": false,
  "owner_id": "186343050635771904",
  "uses": 915,
  "description": null,
  "restricted": false,
  "shared": false,
  "deleted": false,
  "safe": "unrated",
  "hidden": false,
  "guild_id": "556333985882439680",
  "sharer": "284883095981916160",
  "content": "{break({message}==):Try \"?knuth help\"}\r\n{break({message}==todo): maybe set theory, maybe box drawing characters}\r\n{break({message}==about):?knuth is a tag designed to help access unicode characters faster than repeated google searches and copy pastes. It is named after knuth's up arrow notation, which uses this unicode symbol: ↑}\r\n{break({message}==help):knuth commands\r\nhelp - shows this message\r\nabout - about\r\nlist all - lists all symbols\r\nlist [arg] - lists specially named lists (?knuth list list for a list of such lists)\r\nupdate - sends command to update the tag\r\naliases [arg] - lists a symbol's aliases\r\n[arg] - turns :aliases: (surrounded by colons) into mathematical symbols (and more)}{break({message}==list all):↑↓→←⇅⇵⇆⇄∞∫½↉⅓⅔¼¾⅕⅖⅗⅘⅙⅚⅐⅛⅜⅝⅞⅑⅒⅟⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾ⁱ₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎ᵢ±∓≠√∛∜ℕℝℤℵñ∵⌊⌋∴⌈⌉ΑαΒβΓγΔδΕεΖζΗηΘθΙιΚκΛλΜμΝνΞξΟοΠ∐πΡρΣςσΤτΥυΦφΧχΨψΩω‽朌Æə█♭♮♯¦∠°！？¯ⅈ` ` ` `}{break({message}==list list):List of lists\r\nall - all characters\r\ngreek - all greek characters\r\nsubscript - all subscript characters\r\nsuperscript - all superscript characters\r\nsubsup - all subscript and superscript characters\r\nfrac - all fraction characters\r\nmath - all math characters\r\nother - everything else}{break({message}==list greek):ΑαΒβΓγΔδΕεΖζΗηΘθΙιΚκΛλΜμΝνΞξΟοΠπΡρΣςσΤτΥυΦφΧχΨψΩω}{break({message}==list subscript):₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎ᵢ}{break({message}==list superscript):⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾ⁱ}{break({message}==list subsup):⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾ⁱ₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎ᵢ}{break({message}==list fractions):½↉⅓⅔¼¾⅕⅖⅗⅘⅙⅚⅐⅛⅜⅝⅞⅑⅒⅟}{break({message}==list math):↑→∞∫½↉⅓⅔¼¾⅕⅖⅗⅘⅙⅚⅐⅛⅜⅝⅞⅑⅒⅟⁰¹²³⁴⁵⁶⁷⁸⁹⁺⁻⁼⁽⁾ⁱ₀₁₂₃₄₅₆₇₈₉₊₋₌₍₎ᵢ±∓≠√∛∜ℕℝℤℵ⌊⌋⌈⌉∠∐°ⅈ}{break({message}==list other):ñ∵↓∴←⇅⇵⇆⇄‽朌Æə█♭♮♯¦°！？¯` ` ` `}{break({message}==update):?tag ++ knuth <https://pastebin.com/GJNvEGBZ>}{if({1}==aliases):{replace({2},No aliases found!):{replace(↑,:knuth: :up\\: [type :up\\:] :u:):{replace(↓,:down: :d:):{replace(←,:left: :l:):{replace(→,:right: :r: :limit: :lim:):{replace(⇅,:ud:):{replace(⇵,:du:):{replace(⇆,:lr:):{replace(⇄,:rl:):{replace(∞,:infinity: :inf:):{replace(∫,:integral: :int:):{replace(½,:1/2:):{replace(⅓,:1/3:):{replace(⅔,:2/3:):{replace(¼,:1/4:):{replace(¾,:3/4:):{replace(⅕,:1/5:):{replace(⅖,:2/5:):{replace(⅗,:3/5:):{replace(⅘,:4/5:):{replace(⅙,:1/6:):{replace(⅚,:5/6:):{replace(⅐,:1/7:):{replace(⅛,:1/8:):{replace(⅜,:3/8:):{replace(⅝,:5/8:):{replace(⅞,:7/8:):{replace(⅑,:1/9:):{replace(⅒,:1/10:):{replace(⅟,:1/:):{replace(⁰,:^0:):{replace(¹,:^1:):{replace(²,:^2:):{replace(³,:^3:):{replace(⁴,:^4:):{replace(⁵,:^5:):{replace(⁶,:^6:):{replace(⁷,:^7:):{replace(⁸,:^8:):{replace(⁹,:^9:):{replace(⁺,:^+:):{replace(⁻,:^-:):{replace(⁼,:^=:):{replace(⁽,:^open: :^op:):{replace(⁾,:^close: :^cl:):{replace(ⁱ,:^i:):{replace(₀,:v0: :_0:):{replace(₁,:v1: :_1:):{replace(₂,:v2: :_2:):{replace(₃,:v3: :_3:):{replace(₄,:v4: :_4:):{replace(₅,:v5: :_5:):{replace(₆,:v6: :_6:):{replace(₇,:v7: :_7:):{replace(₈,:v8: :_8:):{replace(₉,:v9: :_9:):{replace(₊,:v+: :_+:):{replace(₋,:v-: :_-:):{replace(₌,:v=: :_=:):{replace(₍,:vopen: :vop: :_open: :_op:):{replace(₎,:vclose: :vcl: :_close: :_cl:):{replace(ᵢ,:vi: :_i:):{replace(±,:plusorminus: :pm: :+-:):{replace(∓,:minusorplus: :mp: :-+:):{replace(≠,:=/=: :!=:):{replace(√,:squareroot: :sqrt: :^1/2:):{replace(∛,:cuberoot: :cbrt: :^1/3:):{replace(∜,:fourthroot: :4root: :^1/4:):{replace(ℕ,:N:):{replace(ℝ,:R:):{replace(ℤ,:Z:):{replace(ℵ,:aleph:):{replace(∵,:because: :cuz:):{replace(∴,:therefore: :thus:):{replace(⌊,:floor: :flooropen: :floorop: :flop:):{replace(⌋,:floor2: :floorclose: :floorcl: :flcl:):{replace(⌈,:ceiling: :ceil: :ceilingopen: :ceilingop: :ceilopen: :ceilop: :clop:):{replace(⌉,:ceiling2: :ceil2: :ceilingclose: :ceilingcl: :ceilclose: :ceilcl: :clcl:):{replace( ,:hairspace: :hair:):{replace(CANCELLED,:nonbreakingspace: :nobreakspace: :nbsp:):{replace(‽,:interrobang: :!?: :?!:):{replace(æ,:ae:):{replace(œ,:oe:):{replace(Œ,:bigoe:):{replace(Æ,:bigae:):{replace(ə,:schwa: :-e:):{replace(█,:blackbox: :[r]: :[R]:):{replace(♭,:flat: :b\\: [type :b\\\\:]):{replace(♮,:natural: :nat:):{replace(♯,:sharp:):{replace(¦,:colon2:):{replace(∠,:angle: :/_:):{replace(∐,:coproduct: :coprod: :-bigpi:):{replace(Α,:bigalpha:):{replace(α,:alpha:):{replace(Β,:bigbeta:):{replace(β,:beta:):{replace(Γ,:biggamma:):{replace(γ,:gamma:):{replace(Δ,:bigdelta:):{replace(δ,:delta:):{replace(Ε,:bigepsilon:):{replace(ε,:epsilon:):{replace(Ζ,:bigzeta:):{replace(ζ,:zeta:):{replace(Η,:bigeta:):{replace(η,:eta:):{replace(Θ,:bigtheta:):{replace(θ,:theta:):{replace(Ι,:bigiota:):{replace(ι,:iota:):{replace(Κ,:bigkappa:):{replace(κ,:kappa: :littlekappa: :lowerkappa: :lkappa:):{replace(Λ,:biglambda:):{replace(λ,:lambda:):{replace(Μ,:bigmu:):{replace(μ,:mu:):{replace(Ν,:bignu:):{replace(ν,:nu:):{replace(Ξ,:bigxi:):{replace(ξ,:xi:):{replace(Ο,:bigomicron:):{replace(ο,:omicron:):{replace(Π,:bigpi: :product: :prod:):{replace(π,:pi:):{replace(Ρ,:bigrho:):{replace(ρ,:rho:):{replace(Σ,:sum: :bigsigma:):{replace(ς,:sigma2:):{replace(σ,:sigma:):{replace(Τ,:bigtau:):{replace(τ,:tau:):{replace(Υ,:bigupsilon:):{replace(υ,:upsilon:):{replace(Φ,:bigphi:):{replace(φ,:phi:):{replace(Χ,:bigchi:):{replace(χ,:chi:):{replace(Ψ,:bigpsi:):{replace(ψ,:psi:):{replace(Ω,:bigomega:):{replace(ω,:omega:):{replace(↉,:0/3:):{replace(°,:degrees: :degree: :deg:):{replace(ñ,:n: :~n: :n~:):{replace(ⅈ,:i:):{replace(！,:!:):{replace(？,:?:):{replace(¯,:overline: :macron: :^_:):{replace(:#:,:#:):{replace(:#:,:#:):{2}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}|{replace(:knuth:,↑):{replace(:up\\:,↑):{replace(:down:,↓):{replace(:left:,←):{replace(:right:,→):{replace(:limit:,→):{replace(:lim:,→):{replace(:ud:,⇅):{replace(:lr:,⇆):{replace(:rl:,⇄):{replace(:infinity:,∞):{replace(:inf:,∞):{replace(:integral:,∫):{replace(:int:,∫):{replace(:1/2:,½):{replace(:1/4:,¼):{replace(:3/4:,¾):{replace(:1/5:,⅕):{replace(:1/6:,⅙):{replace(:1/8:,⅛):{replace(:^2:,²):{replace(:^3:,³):{replace(:=/=:,≠):{replace(:hairspace:, ):{replace(:hair:, ):{replace(:sqrt:,√):{replace(:cuberoot:,∛):{replace(:squareroot:,√):{replace(:cbrt:,∛):{replace(:fourthroot:,∜):{replace(:4root:,∜):{replace(:^1/4:,∜):{replace(:^0:,⁰):{replace(:^1:,¹):{replace(:^4:,⁴):{replace(:^5:,⁵):{replace(:^6:,⁶):{replace(:^7:,⁷):{replace(:^8:,⁸):{replace(:^9:,⁹):{replace(:^+:,⁺):{replace(:^-:,⁻):{replace(:^=:,⁼):{replace(:^open:,⁽):{replace(:^close:,⁾):{replace(:^op:,⁽):{replace(:^cl:,⁾):{replace(:plusorminus:,±):{replace(:pm:,±):{replace(:+-:,±):{replace(:>=:,≥):{replace(:=<:,≤):{replace(:du:,⇵):{replace(:!?:,‽):{replace(:interrobang:,‽):{replace(:v0:,₀):{replace(:v1:,₁):{replace(:v2:,₂):{replace(:v3:,₃):{replace(:v4:,₄):{replace(:v5:,₅):{replace(:v6:,₆):{replace(:v7:,₇):{replace(:v8:,₈):{replace(:v9:,₉):{replace(:v+:,₊):{replace(:v-:,₋):{replace(:v=:,⁼):{replace(:vopen:,⁽):{replace(:vop:,⁽):{replace(:vclose:,⁾):{replace(:vcl:,⁾):{replace(:u:,↑):{replace(:d:,↓):{replace(:l:,←):{replace(:r:,→):{replace(:minusorplus:,∓):{replace(:mp:,∓):{replace(:product:,∏):{replace(:prod:,∏):{replace(:coproduct:,∐):{replace(:sum:,∑):{replace(:coprod:,∐):{replace(:therefore:,∴):{replace(:thus:,∴):{replace(:because:,∵):{replace(:cuz:,∵):{replace(:N:,ℕ):{replace(:R:,ℝ):{replace(:Z:,ℤ):{replace(:aleph:,ℵ):{replace(:floor:,⌊):{replace(:flooropen:,⌊):{replace(:floorop:,⌊):{replace(:floorclose:,⌋):{replace(:floorcl:,⌋):{replace(:ceiling:,⌈):{replace(:ceil:,⌈):{replace(:ceilingopen:,⌈):{replace(:ceilopen:,⌈):{replace(:ceilingop:,⌈):{replace(:ceilop:,⌈):{replace(:ceilingclose:,⌉):{replace(:ceilclose:,⌉):{replace(:ceilingcl:,⌉):{replace(:ceilcl:,⌉):{replace(:flop:,⌊):{replace(:flcl:,⌋):{replace(:clop:,⌈):{replace(:clcl:,⌉):{replace(:brokenbar:,¦):{replace(:1/10:,⅒):{replace(:1/9:,⅑):{replace(:1/7:,⅐):{replace(:1/3:,⅓):{replace(:2/3:,⅔):{replace(:2/5:,⅖):{replace(:3/5:,⅗):{replace(:4/5:,⅘):{replace(:5/6:,⅚):{replace(:3/8:,⅜):{replace(:5/8:,⅝):{replace(:7/8:,⅞):{replace(:1/:,⅟):{replace(:alpha:,α):{replace(:bigalpha:,Α):{replace(:beta:,β):{replace(:bigbeta:,Β):{replace(:biggamma:,Γ):{replace(:gamma:,γ):{replace(:bigdelta:,Δ):{replace(:delta:,δ):{replace(:bigepsilon:,Ε):{replace(:epsilon:,ε):{replace(:bigzeta:,Ζ):{replace(:zeta:,ζ):{replace(:bigeta:,Η):{replace(:eta:,η):{replace(:bigtheta:,Θ):{replace(:theta:,θ):{replace(:bigiota:,Ι):{replace(:iota:,ι):{replace(:bigkappa:,Κ):{replace(:kappa:,κ):{replace(:biglambda:,Λ):{replace(:lambda:,λ):{replace(:bigmu:,Μ):{replace(:mu:,μ):{replace(:bignu:,Ν):{replace(:nu:,ν):{replace(:bigxi:,Ξ):{replace(:xi:,ξ):{replace(:bigomicron:,Ο):{replace(:omicron:,ο):{replace(:bigpi:,Π):{replace(:pi:,π):{replace(:bigrho:,Ρ):{replace(:rho:,ρ):{replace(:bigsigma:,Σ):{replace(:sigma2:,ς):{replace(:sigma:,σ):{replace(:bigtau:,Τ):{replace(:tau:,τ):{replace(:bigupsilon:,Υ):{replace(:upsilon:,υ):{replace(:bigphi:,Φ):{replace(:phi:,φ):{replace(:bigchi:,Χ):{replace(:chi:,χ):{replace(:bigpsi:,Ψ):{replace(:psi:,ψ):{replace(:bigomega:,Ω):{replace(:omega:,ω):{replace(:littlekappa:,κ):{replace(:lowerkappa:,κ):{replace(:lkappa:,κ):{replace(:colon2:,¦):{replace(:nbsp:, ):{replace(:nobreakspace:, ):{replace(:nonbreakingspace:, ):{replace(:^i:,ⁱ):{replace(:vi:,ᵢ):{replace(:ae:,æ):{replace(:bigae:,Æ):{replace(:oe:,œ):{replace(:bigoe:,Œ):{replace(:schwa:,ə):{replace(:-e:,ə):{replace(:blackbox:,█):{replace(:[r]:,█):{replace(:[R]:,█):{replace(:flat:,♭):{replace(:b\\:,♭):{replace(:natural:,♮):{replace(:nat:,♮):{replace(:sharp:,♯):{replace(:-+:,∓):{replace(:!=:,≠):{replace(:^1/2:,√):{replace(:^1/3:,∛):{replace(:floor2:,⌋):{replace(:ceiling2:,⌉):{replace(:ceil2:,⌉):{replace(:?!:,‽):{replace(:angle:,∠):{replace(:/_:,∠):{replace(:-bigpi:,∐):{replace(:0/3:,↉):{replace(:degrees:,°):{replace(:degree:,°):{replace(:deg:,°):{replace(:n:,ñ):{replace(:~n:,ñ):{replace(:n~:,ñ):{replace(:_0:,₀):{replace(:_1:,₁):{replace(:_2:,₂):{replace(:_3:,₃):{replace(:_4:,₄):{replace(:_5:,₅):{replace(:_6:,₆):{replace(:_7:,₇):{replace(:_8:,₈):{replace(:_9:,₉):{replace(:_+:,₊):{replace(:_-:,₋):{replace(:_=:,₌):{replace(:_i:,ᵢ):{replace(:_open:,₍):{replace(:_close:,₎):{replace(:_op:,₍):{replace(:_cl:,₎):{replace(:i:,ⅈ):{replace(:!:,！):{replace(:?:,？):{replace(:overline:,¯):{replace(:macron:,¯):{replace(:^_:,¯):{replace(:#:,:#:):{replace(:#:,:#:):{replace(:#:,:#:):{message}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}\r\n}",
  "embed": "{}",
  "last_fetched": "2026-10-20T16:55:45.839Z"
}