Non ASCII symbols removed (begrudgingly) for the sake of javaDocs.