if (command == cmd) {
docstring value;
value += unicodeSymbol.first;
+ needsTermination = !unicodeSymbol.second.mathNoTermination();
return value;
}
}
if (command == cmd) {
docstring value;
value += unicodeSymbol.first;
+ needsTermination = !unicodeSymbol.second.textNoTermination();
return value;
}
}