Hi,
The symbol '\nsim' is missing from the 'Relation symbols' tab.
Kind regards, Tias
fixed in repository
Log in to post a comment.
fixed in repository