text-height-option-interface-symbol