P199 "\mapsto"

Co-authored-by: Patrick Rabau <70125716+prabau@users.noreply.github.com>

spaces/S000135/properties/P000199.md

@@ -4,4 +4,4 @@ property: P000199
 value: true
 ---
 
-The map $X\times[0,1] \ni (\vec x,t)\to (1-t)\vec x\in X$ is a homotopy between the identity and a constant map.
+The map $X\times[0,1] \ni (\vec x,t)\mapsto (1-t)\vec x\in X$ is a homotopy between the identity and a constant map.