You will find almost nothing about all this in the article [2], nor in the book [1], since they belong in some other article, but we can cite them out-of-order for practice anyway.
When we are writing we do not always know what we want to cite, or just where subsequent material will end up. For example, we might want a citation to [provisional cross-reference: some textbook about the FTC] or we might want to reference a later [provisional cross-reference: chapter about DiffEq's, and an_underscore].
We can also embed “todo” s in the source by making an XML comment that begins with the four characters todo, and selectively display them, so you may not see the one here in the output you are looking at now. Or maybe you do see it?
Because a definite integral can be computed using an antiderivative, we have the following definition.