I want to write with tikz-cd a map, in such a way that the two arrows are aligned and have the same length. I got this by adding \phantom{} everywhere, but I wonder if there's a easier (smarter) way.
My attemp:
\documentclass{article} \usepackage{amsmath,amsthm,amssymb,amsfonts,amscd} \usepackage{tikz} \usepackage{tikz-cd} \usetikzlibrary{arrows} \begin{document} \begin{tikzcd}[row sep = 0ex] \tau : I \arrow[rightarrow]{r} & \mathbb{R} \phantom{---------} \\ \phantom{\tau :. } t \arrow[mapsto]{r} & \tau (t) := \displaystyle \int_{t_0}^{t} \sqrt{T \cdot T} \ \mathrm{d} s \end{tikzcd} \end{document} 


tikz-cdfor that display to begin with?tikz-cdprecisely (though I would like), I just thought it was a good tool. What I need is to write maps, in that way.\begin{aligned}\tau\colon I &\longrightarrow\mathbb{R}\\ t&\longmapsto \tau(t)...\end{aligned}