CoolSymbols.cool

Up Tack Symbol

A symbol from the Math Symbols collection. Click the symbol or the button below to copy.

Symbol
Unicode
U+22A5
HTML entity
⊥
Category
Math Symbols

Export

Download Up Tack as SVG or PNG — or add a caption to make a labelled icon, badge or sticker.

Fill color
Background
Preview
transparent background

Fill color applies to monochrome symbols; multicolor emoji keep their own colors. Add a circle/rounded background to make an app icon or avatar. Exports are self-contained; the SVG embeds the glyph's font. Without a background, exports are transparent.

29 of 96 in the math symbols collection

About the up tack symbol

The symbol is read as "up tack" or sometimes "bottom" in mathematical and logical contexts. In formal logic and lattice theory, it represents the falsum, or the absolute false proposition, serving as the counterpart to the truth symbol (often a down tack). It also appears in type theory and computer science to denote the bottom type—a type with no values—or the undefined or diverging computation. Beyond these fields, the up tack is used in various notations for perpendicularity, orthogonality, or as a generic placeholder for a minimal element in ordered structures.

How to type Up Tack

Native keyboard shortcuts for each operating system — derived from the codepoint, so the steps below are always accurate.

Windows

2 options
  1. In Word / Outlook: type 22A5 then press Alt + X.
  2. Anywhere: press Win + . to open the emoji & symbol picker, then search.

macOS

2 options
  1. Enable “Unicode Hex Input” in System Settings → Keyboard, then hold Option and type 22A5.
  2. Or: Control + Command + Space opens the Character Viewer — search by name.

Linux

1 step
  1. Press Ctrl + Shift + U, type 22A5, then press Enter or Space.

Copy in every format

Every form of this character — for HTML, CSS, JavaScript, URLs and more. Click any value to copy.

Related math symbols

Other math symbols you can copy and paste — explore similar Unicode characters from the same family.

Explore related collections

Browse other symbol families that pair well with math symbols.