4.5

  \[
   \xymatrix@C=36pt@R=2.8pt{
    A \ar[r]^f & B \\
    x \ar@{(-}[u] \ar@{|->}[r] & y \ar@{(-}[u]
   }
  \]
  
  \[
   \xymatrix@1{
    A \ni x \ar@{|->}[r]^f & y\in B
   }
  \]
  
  \[
   A \ni x \overset{f}\longmapsto y\in B
  \]

⇓

     f
A|------- B
x --------y
A ∋ x--f--y ∈ B
      f
A ∋ x ↦-→ y ∈ B

これは\rotatebox 使ったがよいか.