weininger

< = | = >