You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
metamath-knife produces an error on the following:
$( A singleton is linearly independent iff it does not contain a torsion
element. According to Wikipedia ("Torsion (algebra)", 15-Apr-2019,
~ https://en.wikipedia.org/wiki/Torsion_(algebra) ): "An element m of a
The error is:
warning: Invalid escape character
--> set.mm:740600:47
|
740600 | ~ https://en.wikipedia.org/wiki/Torsion_(algebra) ): "An element m of a
| - This escape character should be doubled
|
= note: This character has special meaning in this position, but it was not interpretable here.
= note: Use ~~ or [[ or `` if you mean to include the character literally
However, underscores don't need to be doubled in URLs, do they? At least, if I use the metamath-exe SHOW STATEMENT/ALT_HTML to produce a web page, the undoubled underscore turns into an underscore here, and the doubled underscore turns into a doubled underscore (which is not what we want).
The text was updated successfully, but these errors were encountered:
metamath-knife produces an error on the following:
The error is:
However, underscores don't need to be doubled in URLs, do they? At least, if I use the metamath-exe SHOW STATEMENT/ALT_HTML to produce a web page, the undoubled underscore turns into an underscore here, and the doubled underscore turns into a doubled underscore (which is not what we want).
The text was updated successfully, but these errors were encountered: