\input amstex $$\binom{13}{52/7}$$ \bye