Top Left Corner
Top Left Corner has no standard Windows Alt code. Copy the character directly, or use its HTML entity or Unicode value instead.
- Alt code
- None
- HTML entity
- ⌜
- Unicode
- U+231C
About this symbol
⌜ and ⌝, top corners, are the quasi-quotation marks that the logician Willard Van Orman Quine introduced in his Mathematical Logic of 1940, to talk about the shape of formulas that contain variables. Logicians still call them Quine corners.
Unicode facts
- Official name
- TOP LEFT CORNER
- Type
- Symbol
- Unicode block
- Miscellaneous Technical
- Unicode group
- Quine corners
- Added in
- Unicode 1.1 (1993)
- Related
- ⸀ Right Angle Substitution Marker U+2E00⸢ Top Left Half Bracket U+2E22
Click the symbol or any value at the top of the page to copy it. See the full Technical and Miscellaneous Symbols chart for related characters.