Square Lozenge Symbol ⌑

The square lozenge symbol (⌑) is a geometric shape that resembles a rhombus or diamond. It is often used in mathematical notation to represent various concepts or to indicate the end of a proof or solution in formal logic.

Usage and Notation

In mathematical notation, the square lozenge is employed in different contexts, including:

  • Denoting the end of a mathematical proof.
  • Symbolizing a geometric shape resembling a rhombus or diamond.
  • Indicating a particular mathematical property or condition.

Representation in HTML

In HTML, the square lozenge symbol (⌑) can be represented using the HTML entity ⌁.

Example

In mathematical logic, the square lozenge is sometimes used to represent the modal operator "eventually." For example:

⌑P: "Eventually, proposition P will be true."

Applications

The square lozenge symbol finds applications in mathematical logic, geometry, and other mathematical contexts where a concise representation of a rhombus or a specific mathematical condition is needed.

The square lozenge (⌑) is a versatile symbol used in mathematics to convey various meanings, from representing geometric shapes to indicating specific logical conditions. Its usage adds clarity and precision to mathematical notation and serves as a valuable tool in formal mathematical communication.

Square Lozenge Symbol Information

Symbol Name
Square Lozenge
Unicode Version
1.1 (June 1993)
Unicode
U+2311
CSS Code
\2311
Hex Code
⌑
HTML Code
⌑
Symbol
⌑

Square Lozenge Symbol Encoding

UTF-8
0xE2 0x8C 0x91
UTF-16
0x2311
UTF-32
0x00002311

Square LozengeSymbol's PNG and SVG files

Square Lozenge symbol png image
Square Lozenge symbol svg image

How to add square lozenge symbol via keyboard on different Operating systems

You can type the square lozenge symbol on most modern devices with the help of following methods:

How to type square lozenge symbol on Microsoft Word

You can type the square lozenge in Microsoft Word using steps mentioned below:

  • Place your cursor in the text area where you need to insert the symbol and type 2311
  • Without moving the cursor press keys Alt + x together
  • The original 2311 is now transformed into ⌑

How to type square lozenge symbol on Microsoft Windows

You can type the square lozenge on Microsoft windows using following steps:

  • Hold Alt and press to type square lozenge on your windows machine.

How to type square lozenge symbol on Mac OS

You can type the square lozenge on Mac OS using following steps:

  • Place your cursor in the text area where you need to insert the symbol
  • Press Ctrl + ⌘ Command + ⎵ Space to bring up the Character Viewer. Alternatively, choose Edit ⇒ Emoji & Symbols
  • Type "Square Lozenge" in the search field at the top and press Enter
  • The symbol should appear. Click on it to insert it into your text
Mac OS Character Viewer
Mac OS Character Viewer

How to type square lozenge symbol on Linux

You can type the square lozenge on Linux using following steps:

  • Place your cursor in the text area where you need to insert the symbol
  • Hold ⇧ Shift + Ctrl and press the letter + U
  • Press keys 2311 consecutively
  • And then press ↵ Enter , the desired symbol will be added to your document

How to type square lozenge symbol on IOS and Android

The easiest way to type the square lozenge symbol on ios and android is to copy and paste it wherever you need it.

How to use square lozenge in CSS

//CSS Example
1span { 2 content: \2311; 3 }

How to use square lozenge in HTML

//HTML Example
1<span>&#8977;</span>

Square Lozenge symbol representation in programming languages

Square Lozengesymbol's representation in different programming languages can be found in table below:

LanguageRepresentation
Rust
\u{2311}
Ruby
\u{2311}
Python
\u2311
PHP
\u{2311}
Perl
\x{2311}
Java
\u2311
Modern JavaScript - Since ES6
\u{2311}
JavaScript
\u2311
Go
\u2311
C#
\u2311
C and C++
\u2311
Bash and Zsh - inside echo -e
\u2311
RFC 5137
\u'2311'