No the same symbol is used (fortunately)! Btw i just realized that i weirdly translated "non-strict" as "large" (in french we say "large" which actually transl

No the same symbol is used (fortunately)! Btw i just realized that i weirdly translated "non-strict" as "large" (in french we say "large" which actually translates to "wide"). edit: surely you meant ⩽ (U+2A7D) ;)