correcting b.ps style sheet

[Georges Mariano]

Hello,

To answer the question near the end of the style sheet, I would say :
NO for the \vee 
YES for the \wedge

# don't know if B users would appreciate a mathematical \/ (using the
# symbol font) for the || operator (a la C)?
  || \vee,
# same question for the & operator ( /\ ??)
  & \wedge,


Please, comment the corresponding line (||).

Thanks & Cheers

-- 
mailto:address@hidden     tel: (33) 03 20 43 84 06   
INRETS, 20 rue Élisée Reclus         fax: (33) 03 20 43 83 59   
BP 317 -- 59666 Villeneuve d'Ascq       
http://www3.inrets.fr/estas/mariano