Fractions

[Matt Williams]

Dear List,

I'm trying to insert a (logical) formula, of the form:


a,b,c
if a,b,c -> d
---------
d

I'm trying to do it using a fraction, but don't know how to get a double
top line. Any ideas?

Matt

Lyx 1.3.5 on Linux fc3