No existe un acuerdo universal sobre el símbolo para el tirón, pero formula_5 es de uso general.