Add toggleable infinite height in Infinite mode (#961)

* Add toggleable infinite height in Infinite mode

* Use font size 25 for infinite mode

parts/language/lang_symbol.lua

@@ -1,3 +1,4 @@
+local x,v=CHAR.icon.crossMark,CHAR.icon.checkMark
 return {
     fallback='en',
     loadText={
@@ -38,6 +39,9 @@ return {
     maxspeed="!!!",
     speedup="~!~",
     missionFailed="-X_X-",
+    infHeightOn="∞↑ "..v,
+    infHeightOff="∞↑ "..x,
+    infHeightHint=v.."/"..x..": F₁",
 
     win=": )",
     lose=": (",
@@ -61,7 +65,7 @@ return {
 
     loadError_errorMode="'$1' ↑x!: no load mode '$2'",
     loadError_read="'$1' ↑x!: read failed",
-    loadError_noFile="'$1' ↑oading failed no file:",
+    loadError_noFile="'$1' loading failed no file:",
     loadError_other="'$1' ↑x!: $2",
     loadError_unknown="'$1' ↑x!: unknown reason",