6
(napprox (add approx /))
12
(nequiv (add equiv /))
13
(nsubset (add subset /))
14
(nsupset (add supset /))
15
(nsqsubset (add sqsubset /))
16
(nsqsupset (add sqsupset /))
17
(nsqsubseteq (add sqsubseteq /))
18
(nsqsupseteq (add sqsupseteq /))
19
(npreccurlyeq (add preccurlyeq /))
20
(nsucccurlyeq (add succcurlyeq /))
24
(nllleq (add llleq /))
28
(ngggeq (add gggeq /))