Add the \varnothing symbol
@swilmet
Submitted by Sébastien Wilmet Link to original bug (#722850)
Description
The \varnothing symbol is better than \emptyset, so it would be nice to have it in the list of symbols.
@swilmet
Link to original bug (#722850)
The \varnothing symbol is better than \emptyset, so it would be nice to have it in the list of symbols.