<html><head></head><body><div style="color:#000; background-color:#fff; font-family:HelveticaNeue, Helvetica Neue, Helvetica, Arial, Lucida Grande, sans-serif;font-size:16px"><div id="yui_3_16_0_ym18_1_1458899186623_3779">Hi</div><div dir="ltr" id="yui_3_16_0_ym18_1_1458899186623_3780">I want some infix constructor has a bigger priority than some prefix one. How can I do it?</div><div id="yui_3_16_0_ym18_1_1458899186623_3792" dir="ltr"><br></div><div id="yui_3_16_0_ym18_1_1458899186623_3818" dir="ltr">For example, I want <br></div><div id="yui_3_16_0_ym18_1_1458899186623_3823" dir="ltr">\lambda x x # y <br></div><div id="yui_3_16_0_ym18_1_1458899186623_3819" dir="ltr">instead of</div><div id="yui_3_16_0_ym18_1_1458899186623_3820" dir="ltr">\lambda x (x # y)</div><div id="yui_3_16_0_ym18_1_1458899186623_3888" dir="ltr"><br></div><div id="yui_3_16_0_ym18_1_1458899186623_3869" dir="ltr">(I know that I can't use \lambda, but for example)<br></div></div></body></html>