poi
poi copied to clipboard
Add `prime` symbol
prime <=> and . (not . ∃mul{(!= 1), (!= 1)}, (!= 1))