MHB Bifurcating a Line: Expressing a Function without Horizontal Bar

  • Thread starter Thread starter caffeinemachine
  • Start date Start date
  • Tags Tags
    Line
AI Thread Summary
The discussion focuses on expressing a function f:X→Y that maps an element a to b without using a horizontal bar to separate the two expressions. Users are seeking methods to format this notation clearly. One suggested approach is using \stackrel to stack the function notation above the mapping, as in \stackrel{f:X\to Y}{a\xrightarrow{h}b}. Additionally, to place a symbol on top of the \mapsto arrow, the use of \overset is recommended, allowing for notation like a\overset{f}{\mapsto}b. These formatting techniques help achieve the desired visual representation in mathematical expressions.
caffeinemachine
Gold Member
MHB
Messages
799
Reaction score
15
Hello MHB.

Suppose I have a function $f:X\to Y$ which sends $a$ to $b$.

I want to express this as:

Consider a function $\frac{f:X\to Y}{a\xrightarrow{h}b}$.
OR
Consider a function $\frac{f:X\to Y}{f:a\mapsto b}$.
Only thing, I don't want the 'horizontal bar' which separates $f:X\to Y$ from $a\xrightarrow{h}b$ (or $f:a\mapsto b$).

Does anybody know how to do this?

Also, is there a way to write $h$ on top of $\mapsto$ just as I can right $h$ on top of $\rightarrow$?
 
Physics news on Phys.org
caffeinemachine said:
Hello MHB.

Suppose I have a function $f:X\to Y$ which sends $a$ to $b$.

I want to express this as:

Consider a function $\frac{f:X\to Y}{a\xrightarrow{h}b}$.
OR
Consider a function $\frac{f:X\to Y}{f:a\mapsto b}$.
Only thing, I don't want the 'horizontal bar' which separates $f:X\to Y$ from $a\xrightarrow{h}b$ (or $f:a\mapsto b$).

Does anybody know how to do this?

Also, is there a way to write $h$ on top of $\mapsto$ just as I can right $h$ on top of $\rightarrow$?

There are various ways to stack symbols on top of each other.
For instance \stackrel:
$$\stackrel{f:X\to Y}{a\xrightarrow{h}b}$$

To put a symbol on top of \mapsto, you can use \overset{f}{\mapsto}.
$${a\overset{f}{\mapsto} b}$$
 
Back
Top