The mathematical principles behind the taxation of bonds and other securities in the form of debt instruments are elucidated. The main tax rules of current importance in portfolio management in the United States are sorted out and expressed in formulas as an aid to financial modeling and computerization. As a foundation, the theory of constant yield to maturity is developed with generality ample enough to cover situations where the dates on which interest is compounded may not be equally spaced.