Batsignal Posted on November 18, 2012 by Alan V Greg: Do we have to look up how to typeset the bat signal?