Translating "Unless" in Formal Logic

Translating the word "unless" in formal logic.

Example: "Bob will quit unless Ann gets a raise."

Translation:

~A--------->B (the ~ is a sign for negation and the one directional arrow represents "if . . . " (i.e., a conditional statement)

Notice that "Ann" has been placed in the antecedent position, symbolized by A, then negated whereas "Bob" has been moved to the consequent position of the conditional statement and symbolized by B.

Another way to translate "unless": "A v B provided that" which = p-------->q or q----------->p

v = either/or