Template:Mathematical text/Fact