Mathematical Operators Characters - Page 6 ⊖ circled minus U+2296 ⊗ circled times U+2297 ⊘ circled division slash U+2298 ⊙ circled dot operator U+2299 ⊚ circled ring operator U+229A ⊛ circled asterisk operator U+229B ⊜ circled equals U+229C ⊝ circled dash U+229D ⊞ squared plus U+229E ⊟ squared minus U+229F ⊠ squared times U+22A0 ⊡ squared dot operator U+22A1 ⊢ right tack U+22A2 ⊣ left tack U+22A3 ⊤ down tack U+22A4 ⊥ up tack U+22A5 ⊦ assertion U+22A6 ⊧ models U+22A7 ⊨ true U+22A8 ⊩ forces U+22A9 ⊪ triple vertical bar right turnstile U+22AA ⊫ double vertical bar double right turnstile U+22AB ⊬ does not prove U+22AC ⊭ not true U+22AD ⊮ does not force U+22AE ⊯ negated double vertical bar double right turnstile U+22AF ⊰ precedes under relation U+22B0 ⊱ succeeds under relation U+22B1 ⊲ normal subgroup of U+22B2 ⊳ contains as normal subgroup U+22B3 ❮ prev • next ❯