]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/predefined_virtuals.ml
update in delayed_updating
[helm.git] / matita / matita / predefined_virtuals.ml
index 1271e2c523bc135cc1c593d57c8456d730f73138..4dd5b0f5ebc8ec20643d8f083c2cadba872d0ef9 100644 (file)
@@ -1562,7 +1562,7 @@ let predefined_classes = [
  ["M"; "β„³"; "𝕄"; "𝐌"; "β“‚"; ] ;
  ["n"; "π•Ÿ"; "𝐧"; "π›ˆ"; "ⓝ"; ] ;
  ["N"; "β„•"; "β„–"; "𝐍"; "Ⓝ"; ] ;
- ["o"; "ΞΈ"; "Ο‘"; "𝕠"; "∘";  "⊚"; "ΓΈ"; "β—‹"; "●"; "𝐨"; "𝛉"; "β“ž"; ] ;
+ ["o"; "ΞΈ"; "Ο‘"; "𝕠"; "∘";  "⊚"; "ΓΈ"; "β—‹"; "●"; "β—–"; "β——"; "𝐨"; "𝛉"; "β“ž"; ] ;
  ["O"; "Θ"; "𝕆"; "𝐎"; "𝚯"; "𝚹"; "β“„"; ] ;
  ["p"; "Ο€"; "𝕑"; "𝐩"; "𝛑"; "β“Ÿ"; ] ;
  ["P"; "Ξ "; "β„˜"; "β„™"; "𝐏"; "𝚷"; "β“…"; "𝒫"; ] ;