Apparently this fact isn't mentioned anywhere on the Internet. At least not in a straight-forward manner, I had to discover it by inspecting the corresponding articles on Wikipedia.
The code to produce a direct limit and an inverse limit is
\varprojlim. This is the result:
Let this fact be known.