@@ -219,7 +219,8 @@ const replacer = (_, p1) => {
"≥":'≥',
"≤":'≤',
"·":'·',
- "Ø":'ø',
+ "ø":'ø',
+ "Ø":'Ø',
"∅":'∅'
} [p1]
}