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