doc: Fixed unicode symbol conversion