Four Fours/Lemmata/Two Fours/9/Solutions/2

Solution

 * $9 = \dfrac {\map \Gamma 4} {\sqrt {. \dot 4} }$