The (?) modified question mark with under bar below of a conditional switches the hypothesis and conclusion.

The tilde (~) modified question mark with an under bar below of a conditional switches the hypothesis and conclusion.

The symbol you are referring to is called the "horseshoe" symbol or the "material implication" symbol. It is typically denoted as "⊃" or "→".

In formal logic, this symbol is used to represent the conditional statement, where the expression on the left (hypothesis) implies the expression on the right (conclusion). For example, the statement "If it is raining, then the ground is wet" can be written as "Raining ⊃ Ground is wet" or "R → G".

To switch the hypothesis and conclusion in a conditional statement using the horseshoe symbol, you would simply interchange the positions of the expressions. For example, switching the hypothesis and conclusion in the statement "P ⊃ Q" would result in "Q ⊃ P".