The symbols ā ā ā are all conventionally used for the connective called material implication, or the material conditional. It is a particular kind of conditional and does not in general correctly translate if/then in ordinary English.
FBI Reform - fbireform.comFBI Reform - fbireform.com - The News And Times