"Davis Herring" <herring@lanl.gov> writes:

>> I don't think so.
>>
>> Theorem: the "/" is *not* a horizontal bar.
>> Proof:
>>
>>   What parse tree do you expect from A+B/C+D?
>>
>>   Is it the same as the one you expect from
>>
>>     A + B
>>     -----
>>     C + D
>>
>> QED.
>
> The "/" there can certainly be considered a horizontal bar: under the B,
> and over the C.
>
>      B
> A + --- + D
>      C
>
> Consider that no one would read y=x^2/2 as
>
>       2
>  y = x
> -------
>    2

Tell that to TeX.  It renders $$y = x^2\over 2$$ as