def p_symbol_symbol(p):
    p[0] = da.Numeral(p[1]) if p[1][0].isdigit() else da.Symbol(p[1])
Return height value of the current channel for the given color.
dataset/ETHPy150Open Microsoft/ivy/src/ivy/ivy_dafny_grammar.py/p_symbol_symbol--crossover with--dataset/ETHPy150Open enthought/mayavi/tvtk/util/tk_gradient_editor.py/FunctionControl.Channel.get_value