<
>

⊣ LEFT TACK

CodepointU+22A3
Copy to the clipboard
Comments reverse turnstile
non-theorem, does not yield
BlockMathematical Operators
Sub-BlockOperators
CategorySm / Symbol, math
Add to My List
Copy link
How to type "" in Windows? hold alt
type +
type 22A3
release alt
How to type "" in Linux? hold ctrl+shift
type U 22A3
release ctrl+shift