I learned in high school from my favorite math teacher (who also has a PhD in mathematics) that the $\curvearrowright$ symbol means "implies that" (in German "daraus folgt"; "from that follows").
Now that I am learning higher math elsewhere I have not found this notation anywhere; it always seems to be the $\Rightarrow$ symbol.
The $\curvearrowright$ symbol has really grown on me, and it takes much less time to draw than the commonly used $\Rightarrow$ symbol.
I am just curious if $\curvearrowright$ is also a commonly accepted symbol? Maybe it's an old DDR (communist Germany) thing - as that's where my teacher received his PhD?