• Sign Up
• Login
• API
• FAQ
• Tools
• Archive
SHARE
TWEET

# Untitled

a guest May 12th, 2014 161 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
1. \begin{center}
2. \begin{math}
3. \mathlig{-><-}{\rightarrow\leftarrow}
4. \inference[Plus]{a_{1} -> v_{1}\; a_{2} -> v_{2}}{a_{1}+a_{2} -> v}\; Where\; v = v_{1} + v_{2}
5. \end{math}
6. \end{center}
7. \begin{figure}[H]
8. \caption{Transition rule for Addition}
9. \end{figure}
10.
11. \begin{center}
12. \begin{math}
13. \mathlig{-><-}{\rightarrow\leftarrow}
14. \inference[Plus]{a_{1} -> v_{1}\; a_{2} -> v_{2}}{a_{1} - a_{2} -> v}\; Where\; v = v_{1} - v_{2}
15. \end{math}
16. \end{center}
17. \begin{figure}[H]
18. \caption{Transition rule for Subtraction}
19. \end{figure}
20.
21. \begin{center}
22. \begin{math}
23. \mathlig{-><-}{\rightarrow\leftarrow}
24. \inference[Plus]{a_{1} -> v_{1}\; a_{2} -> v_{2}}{a_{1}*a_{2} -> v}\; Where\; v = v_{1} * v_{2}
25. \end{math}
26. \end{center}
27. \begin{figure}[H]
28. \caption{Transition rule for Multiplication}
29. \end{figure}
30.
31. \begin{center}
32. \begin{math}
33. \mathlig{-><-}{\rightarrow\leftarrow}
34. \inference[Plus]{a_{1} -> v_{1}\; a_{2} -> v_{2}}{a_{1}/a_{2} -> v}\; Where\; v = v_{1} / v_{2}
35. \end{math}
36. \end{center}
37. \begin{figure}[H]
38. \caption{Transition rule for Division}
39. \end{figure}
40.
41. \begin{center}
42. \begin{math}
43. \mathlig{-><-}{\rightarrow\leftarrow}
44. \inference[Plus]{a_{1} -> v_{1}\; a_{2} -> v_{2}}{a_{1}\%a_{2} -> v}\; Where\; v = v_{1} \% v_{2}
45. \end{math}
46. \end{center}
47. \begin{figure}[H]
48. \caption{Transition rule for Plus}
49. \end{figure}
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.

Top