Lozenge Symbol (◊)

The lozenge symbol ◊ is Unicode U+25CA, a slender, hollow diamond used in modal logic for possibility, mathematics and flowchart decisions. Press Copy to put it on your clipboard, or type it with Option + Shift + V on a Mac.

Unicode
U+25CA
HTML
◊
Word
25CA Alt+X
Mac
Option + Shift + V

How to type the lozenge symbol (◊)

The quickest way is to press Copy above and paste. To type ◊ yourself, use the method for your device below. On a Mac it is Option + Shift + V.

Windows

  1. In Word or Outlook, type 25CA and press Alt + X. Alt + X converts the hex code before the cursor into the character, and back again.
  2. Press Win + R, type charmap and press Enter. Tick “Advanced view”, search for Lozenge, then Select and Copy. Character Map is built into every version of Windows.

Mac

  1. Press Option+Shift+V. On the standard US and US-International layouts.
  2. Press Control + Command + Space to open the Character Viewer, search for lozenge and double-click it.

Linux & ChromeOS

  1. Press Ctrl + Shift + U, type 25ca, then press Enter or Space. Works in GTK and IBus apps (GNOME, Firefox, Chrome, LibreOffice) and on ChromeOS.

iPhone & iPad

  1. Copy ◊ from this page, then go to Settings → General → Keyboard → Text Replacement and add it with a shortcut such as ;loze. The shortcut then turns into the symbol as you type, in every app.

Android

  1. Copy ◊ here, then open Gboard settings → Dictionary → Personal dictionary and add it with a shortcut.

Microsoft Word

  1. Type 25CA, then press Alt + X.
  2. Insert → Symbol → More Symbols. Set “from” to Unicode (hex), type 25CA in “Character code” and click Insert.
  3. On a Mac, Option+Shift+V works in Word too.

Google Docs

  1. Insert → Special characters, then search for “lozenge” or draw it in the box.

Excel & Google Sheets

  1. Enter =UNICHAR(9674) in a cell. It works in Excel 2013 and later and in Google Sheets.

HTML

  1. Write ◊ or ◊ in your HTML.

What does ◊ mean?

The lozenge symbol ◊ (Unicode name LOZENGE, U+25CA) is a hollow, slender rhombus. Known as a heraldic and mathematical motif for centuries, it entered modern computer encoding through standard mathematical symbol sets.

In modal logic, the lozenge serves as the fundamental operator for possibility: ◊P expresses that "it is possible that P is true." It functions as the exact dual to the necessity box □ (where ◊P is equivalent to ¬□¬P). In electronic keyboards and computing equipment, particularly on older French and European terminals, a lozenge was engraved on special function or sub-mode keys.

Common uses

  • Modal logic: denoting possibility (◊P: "it is possible that proposition P holds")
  • Set theory and relations: representing diamond operators and compositional products
  • Technical keyboards: historic modifier key emblem on European workstations
  • Flowchart notation: denoting decision forks and conditional branch tests

Lozenge Symbol codes for HTML, CSS and programming

Every code below produces ◊. Use the HTML entity in web pages, the CSS escape in content, and the escape sequence in source code.

Codes for ◊
Unicode code pointU+25CA
HTML entity (named)◊
HTML decimal◊
HTML hex◊
CSS contentcontent: "\25CA";
JavaScript"\u25CA"
Python"\u25CA"
Python (by name)"\N{LOZENGE}"
Java / C#"\u25CA"
UTF-8 bytesE2 97 8A
UTF-1625CA
URL encoded%E2%97%8A
Mac shortcutOption + Shift + V

◊ vs look-alike characters

These characters look similar to ◊ but have a different meaning and code. Pasting the wrong one can break search, sorting and screen readers.

CharNameWhen to use it
White Diamond
U+25C7
White diamond (U+25C7), an equilateral geometric outline diamond.
Diamond
U+25C6
Black diamond (U+25C6), solid filled diamond.
White Square
U+25A1
White square (U+25A1), the necessity operator in modal logic.

Symbols similar to ◊

Click to copy, or open a symbol for its codes. See the full shape symbols collection.

  • Diamond Details
  • Diamond Suit Details
  • Star Details
  • White Star Details
  • Four Pointed Star Details
  • Square Details
  • White Square Details

◊ character properties

Official Unicode name
LOZENGE
Also known as
lozenge, rhombus, modal possibility symbol, slender diamond
Code point
U+25CA
Unicode block
Geometric Shapes (U+25A0–U+25FF)
General category
Other symbol (So)
Added in
Unicode 1.1 (1993)
Plane
Basic Multilingual Plane (0)
Emoji
No, it is a text symbol

Frequently asked questions

What does ◊ mean in philosophy and logic?

In modal logic, ◊ means "possibly" or "it is possible that", functioning as the counterpart to the necessity box □.

What is the HTML entity for the lozenge?

You can write ◊ in HTML to produce the lozenge symbol ◊.

Is there an alt code for the lozenge symbol?

No. ◊ is outside the Windows-1252 and code page 437 character sets, so no Alt + number code produces it. Copy it from this page, type 25CA then Alt + X in Word, or find it in Character Map.

How do I type the lozenge symbol on a Mac?

Press Option + Shift + V. It works in every app on the US keyboard layout. You can also open the Character Viewer with Control + Command + Space and search for it.

What is the HTML code for the lozenge symbol?

Use the named entity ◊ or the numeric reference ◊ (hex ◊). All three display ◊ in every browser.

What is the Unicode for the lozenge symbol?

◊ is U+25CA, officially named LOZENGE, in the Geometric Shapes block. It has been part of Unicode since version 1.1 (1993).