User blog comment:Emlightened/Little Bigeddon/@comment-30167082-20170114083356

Minor mistake? \(\texttt{fr}(\ulcorner T(x_i, x_j) \urcorner) = \{i, j, k\}\) - there is no k in T!