Also the tack symbol (also meaning "true"), sometimes written after the double-stroke arrow to the right meaning "implies".
2013/1/25 Jukka K. Korpela <[email protected]>: > 2013-01-25 2:41, Richard Wordingham wrote: > Other end of proof symbols include □ (U+25A1), ■ (25A0), ▲ (U+25B2), ◇ > (U+25C7), and ◆ (U+25C6). They, or graphics resembling them, are also used > to indicate end of article.
