Talk:Epsilon-induction

Is epsilon-induction written as $$\in$$-induction (\in-induction) or $$\epsilon$$-induction? —Preceding unsigned comment added by 65.94.11.123 (talk) 05:40, 27 March 2011 (UTC)