X downward arrow a (is it limit from left)
X upward arrow a (is it limit from right)
It's the other way around. Up arrow means increasing value of ##x##, so limit from the left. It's not a common notation, but it is mentioned on wikipedia: http://en.wikipedia.org/wiki/One-sided_limit
Separate names with a comma.