a\to x