$Y=\eta_2\vee \left(\eta_1\wedge\mbox{\tt time\_bck}

[bask (gan)]

   \left(Y \vee (\eta_1\wedge\bigvee_{e\in T}\mbox{\tt xtion\_bck}(Y, e))\righ
t)\right)$,
正妹
http://blog.sina.com.cn/m/linxilei

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.112.42.144
推 hifly:你老婆知道這個版嗎？
推 bask:我桌面就是用蕾蕾